CoRR, October 2014
Fabien Gouyon, Bob L. Sturm, João Lobato Oliveira, Nuno Hespanhol, Thibault Langlois:
On Evaluation Validity in Music Autotagging.
Thibaud Antignac, Daniel Le Métayer:
Privacy by Design: From Technologies to Architectures (Position Paper).
Bartlomiej Blaszczyszyn, Mohamed Kadhem Karray:
What frequency bandwidth to run cellular network in a given country? - a downlink dimensioning problem.
Ramoni O. Adeogun:
A Robust MUSIC Based Scheme for Interference Location in Satellite Systems with Multibeam Antennas.
Jie Fu, Ufuk Topcu:
Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations.
Yao Sun, Dingkang Wang, ZhenYu Huang, Dongdai Lin:
A Monomial-Oriented GVW for Computing Gröbner Bases.
Jingchu Liu, Tao Zhao, Sheng Zhou, Yu Cheng, Zhisheng Niu:
CONCERT: A Cloud-Based Architecture for Next-generation Cellular Systems.
Atul Kanaujia:
Coupling Top-down and Bottom-up Methods for 3D Human Pose and Shape Estimation from Monocular Image Sequences.
Zheng Chang, Jie Gong, Tapani Ristaniemi, Zhisheng Niu:
Energy Efficient Resource Allocation and User Scheduling for Collaborative Mobile Clouds with Hybrid Receivers.

David Lillis, Rem W. Collier, Mauro Dragone, Gregory M. P. O'Hare:
An Agent-Based Approach to Component Management.

Michael Shekelyan, Gregor Jossé, Matthias Schubert:
ParetoPrep: Fast computation of Path Skylines Queries.
Mateusz Malinowski, Mario Fritz:
A Multi-World Approach to Question Answering about Real-World Scenes based on Uncertain Input.
Juheon Lee, Xiaohao Cai, Carola-Bibiane Schönlieb, David Coomes:
Non-parametric Image Registration of Airborne LiDAR, Hyperspectral and Photographic Imagery of Forests.
Dame Diongue, Ousmane Thiare:
An Energy Efficient Self-healing Mechanism for Long Life Wireless Sensor Networks.
Benjamin Fish, Jeremy Kun, Ádám Dániel Lelkes, Lev Reyzin, György Turán:
On the Computational Complexity of MapReduce.
William B. March, Bo Xiao, George Biros:
ASKIT: Approximate Skeletonization Kernel-Independent Treecode in High Dimensions.
Chao Li, Michael Hay, Gerome Miklau, Yue Wang:
A Data- and Workload-Aware Algorithm for Range Queries Under Differential Privacy.
Christian Häger, Alexandre Graell i Amat, Fredrik Brännström, Alex Alvarado, Erik Agrell:
Terminated and Tailbiting Spatially Coupled Codes with Optimized Bit Mappings for Spectrally Efficient Fiber-Optical Systems.
Dirk Roorda, Gino Kalkman, Martijn Naaijer, Andreas van Cranenburgh:
LAF-Fabric: a data analysis tool for Linguistic Annotation Framework with an application to the Hebrew Bible.

Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee:
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity.

Subhadip Mukherjee, Rupam Basu, Chandra Sekhar Seelamantula:
A Robust Dictionary Learning Algorithm for Image Denoising.
Qing Wang, Domenico Giustiniano, Daniele Puccinelli:
An Open-Source Research Platform for Embedded Visible Light Networking.
Lionel Eyraud-Dubois, Loris Marchal, Oliver Sinnen, Frédéric Vivien:
Parallel scheduling of task trees with limited memory.
Mahmadou Issoufou Tiado, Riadh Dhaou, André-Luc Beylot:
Cross-Layer Extended Persistent Timeout Policy for SCTP and DSDV.
Mahmadou Issoufou Tiado, Riadh Dhaou, André-Luc Beylot:
Cross layer Interaction Models for SCTP and OLSR.
Jagdish Lal Raheja, B. Ajay, Ankit Chaudhary:
Real Time Fabric Defect Detection System on an Embedded DSP Platform.

Michael Heindlmaier, Navid Reyhanian, Shirin Saeedi Bidokhti:
Capacity Regions of Two-Receiver Broadcast Packet Erasure Channels with Feedback and Memory.
Viktoriia Sharmanska, Novi Quadrianto, Christoph H. Lampert:
Learning to Transfer Privileged Information.
Markus Wittmann, Thomas Zeiser, Georg Hager, Gerhard Wellein:
Modeling and analyzing performance for highly optimized propagation steps of the lattice Boltzmann method on sparse lattices.
Nicolò Michelusi, Urbashi Mitra:
Cross-layer design of distributed sensing-estimation with quality feedback, Part I: Optimal schemes.
Nicolò Michelusi, Urbashi Mitra:
Cross-layer design of distributed sensing-estimation with quality feedback, Part II: Myopic schemes.
Alekh Agarwal, Alina Beygelzimer, Daniel J. Hsu, John Langford, Matus Telgarsky:
Scalable Nonlinear Learning with Adaptive Polynomial Expansions.
Masahito Hayashi, Himanshu Tyagi, Shun Watanabe:
Strong Converse for a Degraded Wiretap Channel via Active Hypothesis Testing.
Arash Golibagh Mahyari, Selin Aviyente:
Identification of Dynamic functional brain network states Through Tensor Decomposition.
Graeme N. Wilson, Alejandro Ramirez-Serrano, Qiao Sun:
Vehicle Parameter Independent Gain Matrix Selection for a Quadrotor using State-Space Controller Design Methods.
Jesper Larsson Träff, Martin Wimmer:
An improved, easily computable combinatorial lower bound for weighted graph bipartitioning.
Zakria Hussain, Arto Klami, Jussi Kujala, Alex Po Leung, Kitsuchart Pasupa, Peter Auer, Samuel Kaski, Jorma Laaksonen, John Shawe-Taylor:
PinView: Implicit Feedback in Content-Based Image Retrieval.
Dan Martinec, Ivo Herman, Michael Sebek:
The transfer-function approach to travelling waves in path graphs.
Nibaran Das, Sandip Pramanik, Subhadip Basu, Punam Kumar Saha, Ram Sarkar, Mahantapas Kundu, Mita Nasipuri:
Recognition of Handwritten Bangla Basic Characters and Digits using Convex Hull based Feature Set.



Fredrick Romanus Ishengoma:
Authentication System for Smart Homes Based on ARM7TDMI-S and IRIS-Fingerprint Recognition Technologies.
Richard John Preen, Larry Bull:
Design Mining Interacting Wind Turbines: Surrogate-Assisted Coevolution of Rapid Prototyped VAWT.
Vincent Cohen-Addad, Claire Mathieu:
The Unreasonable Success of Local Search: Geometric Optimization.
Diego Fabregat-Traver, Paolo Bientinesi:
Automatic Generation of Loop-Invariants for Matrix Operations.
Diego Fabregat-Traver, Paolo Bientinesi:
Knowledge-Based Automatic Generation of Partitioned Matrix Expressions.
Stefanie Haustein, Vincent Larivière, Mike Thelwall, Didier Amyot, Isabella Peters:
Tweets vs. Mendeley readers: How do these two social media metrics differ?
Konstantin Avrachenkov, Nelly Litvak, Liudmila Ostroumova Prokhorenkova, Eugenia Suyargulova:
Quick Detection of High-degree Entities in Large Directed Networks.




Zhe Liu, Ingmar Weber:
Is Twitter a Public Sphere for Online Conflicts? A Cross-Ideological and Cross-Hierarchical Look.
Sithan Kanna, Dahir H. Dini, Yili Xia, Ron Shu-Yuen Hui, Danilo P. Mandic:
Distributed Widely Linear Frequency Estimation in Unbalanced Three Phase Power Systems.
Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho:
The Impact of Surface Size on the Radiative Thermal Behavior of Embedded Systems.
Hugo Jair Escalante, Mauricio A. García-Limón, Alicia Morales-Reyes, Mario Graff, Manuel Montes-y-Gómez, Eduardo F. Morales:
Term-Weighting Learning via Genetic Programming for Text Classification.
(Withdrawn) Stability of Asynchronous Networked Control Systems with Probabilistic Clocks.

Eduardo A. Canale, Pablo Romero, Gerardo Rubino:
A Full Characterization of Irrelevant Components in Diameter Constrained Reliability.
Dániel Kondor, László Dobos, István Csabai, András Bodor, Gábor Vattay, Tamás Budavári, Alexander S. Szalay:
Efficient classification of billions of points into complex geographic regions using hierarchical triangular mesh.
Felix Hill, KyungHyun Cho, Sébastien Jean, Coline Devin, Yoshua Bengio:
Not All Neural Embeddings are Born Equal.
Laurent Jacques, Christophe De Vleeschouwer, Yannick Boursier, Prasad Sudhakar, C. De Mol, Aleksandra Pizurica, Sandrine Anthoine, Pierre Vandergheynst, Pascal Frossard, Cagdas Bilen, Srdan Kitic, Nancy Bertin, Rémi Gribonval, Nicolas Boumal, Bamdev Mishra, Pierre-Antoine Absil, Rodolphe Sepulchre, Shaun Bundervoet, Colas Schretter, Ann Dooms, Peter Schelkens, Olivier Chabiron, François Malgouyres, Jean-Yves Tourneret, Nicolas Dobigeon, Pierre Chainais, Cédric Richard, Bruno Cornelis, Ingrid Daubechies, David B. Dunson, Marie Danková, Pavel Rajmic, Kévin Degraux, Valerio Cambareri, Bert Geelen, Gauthier Lafruit, Gianluca Setti, Jean-François Determe, Jérôme Louveaux, François Horlin, Angélique Drémeau, Patrick Héas, Cédric Herzet, Vincent Duval, Gabriel Peyré, Alhussein Fawzi, Mike E. Davies, Nicolas Gillis, Stephen A. Vavasis, Charles Soussen, Luc Le Magoarou, Jingwei Liang, Jalal Fadili, Antoine Liutkus, David Martina, Sylvain Gigan, Laurent Daudet, Mauro Maggioni, Stanislav Minsker, Nate Strawn, C. Mory, Fred Maurice Ngolè Mboula, Jean-Luc Starck, Ignace Loris, Samuel Vaiter, Mohammad Golbabaee, Dejan Vukobratovic:
Proceedings of the second "international Traveling Workshop on Interactions between Sparse models and Technology" (iTWIST'14).
Roya Ensafi, Philipp Winter, Abdullah Mueen, Jedidiah R. Crandall:
Large-scale Spatiotemporal Characterization of Inconsistencies in the World's Largest Firewall.
Zhicheng Yan, Vignesh Jagadeesh, Dennis DeCoste, Wei Di, Robinson Piramuthu:
HD-CNN: Hierarchical Deep Convolutional Neural Network for Image Classification.
Brett W. Israelsen, Dale A. Smith:
Generalized Laguerre Reduction of the Volterra Kernel for Practical Identification of Nonlinear Dynamic Systems.
Qiaosong Wang, Vignesh Jagadeesh, Bryan Ressler, Robinson Piramuthu:
Im2Fit: Fast 3D Model Fitting and Anthropometrics using Single Consumer Depth Camera and Synthetic Data.
Sharan Chetlur, Cliff Woolley, Philippe Vandermersch, Jonathan Cohen, John Tran, Bryan Catanzaro, Evan Shelhamer:
cuDNN: Efficient Primitives for Deep Learning.
Chih-Hang Wang, De-Nian Yang, Wen-Tsuen Chen:
Scheduling for Multi-Camera Surveillance in LTE Networks.
Michael Elkin, Ofer Neiman, Christian Wulff-Nilsen:
Space-Efficient Path-Reporting Approximate Distance Oracles.
Andreas Brandstädt, Pavel Ficur, Arne Leitert, Martin Milanic:
Polynomial-time Algorithms for Weighted Efficient Domination Problems in AT-free Graphs and Dually Chordal Graphs.
Niv Buchbinder, Moran Feldman, Roy Schwartz:
Comparing Apples and Oranges: Query Tradeoff in Submodular Maximization.

Maciej Burak:
Multi-step Uniformization with Steady-State Detection in Nonstationary M/M/s Queuing Systems.
Junhua Li, Zbigniew R. Struzik, Liqing Zhang, Andrzej Cichocki:
Feature Learning from Incomplete EEG with Denoising Autoencoder.
Parisa Rahimzadeh, Farid Ashtiani:
Analytical Evaluation of Saturation Throughput of a Cognitive 802.11-based WLAN Overlaid on a WiMAX-TDD Network.
Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer:
Improved Algorithms for One-Pair and k-Pair Streett Objectives.
Carl Boettiger:
An introduction to Docker for reproducible research, with examples from the R environment.
Bart M. P. Jansen, Dániel Marx:
Characterizing the easy-to-find subgraphs from the viewpoint of polynomial-time algorithms, kernels, and Turing kernels.
Shuchang Zhou, Zhihua Zhang, Xiaobing Feng:
Group Orbit Optimization: A Unified Approach to Data Normalization.
Silvio Traversaro, Daniele Pucci, Francesco Nori:
In Situ Calibration of Six-Axes Force Torque Sensors using Accelerometer Measurements.
Marino Miculan, Marco Peressotti:
Structural operational semantics for non-deterministic processes with quantitative aspects.
Kaibin Huang, Jiayi Chen, Vincent K. N. Lau:
Communications Using Ubiquitous Antennas: Free-Space Propagation.
Victor Adrian Prisacariu, Olaf Kähler, Ming-Ming Cheng, Carl Yuheng Ren, Julien P. C. Valentin, Philip H. S. Torr, Ian D. Reid, David W. Murray:
A Framework for the Volumetric Integration of Depth Images.
Eugénio Rodrigues, Adélio Rodrigues Gaspar, Álvaro Gomes, Manuel Gameiro da Silva:
Contributions of natural ventilation on thermal performance of alternative floor plan designs.
Branislav Kveton, Zheng Wen, Azin Ashkan, Csaba Szepesvári:
Tight Regret Bounds for Stochastic Combinatorial Semi-Bandits.
Federico Rossi, Marco Pavone:
Distributed consensus with mixed time/communication bandwidth performance metrics.
Inna Smirnova:
A Systematic Approach to Setting Up Distributed Global Collaborations for Software-based Products in the Automotive Domain.
Marcos Portnoi, Chien-Chung Shen:
Loc-Auth: Location-Enabled Authentication Through Attribute-Based Encryption.
Raja Giryes, Yaniv Plan, Roman Vershynin:
On the Effective Measure of Dimension in the Analysis Cosparse Model.
Le Li, Jianjun Yang, Yang Xu, Zhen Qin, Honggang Zhang:
Document Clustering Based On Max-Correntropy Non-Negative Matrix Factorization.
Eva C. Song, Paul W. Cuff, H. Vincent Poor:
A Rate-Distortion Based Secrecy System with Side Information at the Decoders.
Yen-Kai Liao, Chih-Han Wang, De-Nian Yang, Wen-Tsuen Chen:
Uplink Scheduling for LTE 4G Video Surveillance System.
Su Hu, Zi Long Liu, Yong Liang Guan, Wenhui Xiong, Guoan Bi, Shaoqian Li:
Sequence Design for Cognitive CDMA Communications under Arbitrary Spectrum Hole Constraint.
Rahul Rama Varior, Gang Wang, Jiwen Lu:
Learning Invariant Color Features for Person Re-Identification.
Nannan Wang, Xinbo Gao, Dacheng Tao, Xuelong Li:
Facial Feature Point Detection: A Comprehensive Survey.

Jiangbo Huang:
Programing implementation of the Quine-McCluskey method for minimization of Boolean expression.
Kezhi Wang, Yunfei Chen, Marco Di Renzo:
Outage Probability of Dual-Hop Selective AF With Randomly Distributed and Fixed Interferers.
Frédéric Giroire, Dorian Mazauric, Joanna Moulierac:
Energy Efficient Routing by Switching-Off Network Interfaces.
Alejandro López-Ortiz, Daniela Maftuleac:
Optimal Strategies for Search and Rescue Operations with Robot Swarms.
Arash Einolghozati, Mohsen Sardari, Faramarz Fekri:
Design and Analysis of Wireless Communication Systems Using Diffusion-Based Molecular Communication Among Bacteria.
Arash Einolghozati, Mohsen Sardari, Faramarz Fekri:
Relaying in Diffusion-Based Molecular Communication.
Christine P. D. M. van der Aa, Monique M. H. Pollmann, Aske Plaat, Rutger Jan van der Gaag:
Computer-mediated communication in adults with high-functioning Autism Spectrum Conditions.
Junhua Mao, Wei Xu, Yi Yang, Jiang Wang, Alan L. Yuille:
Explain Images with Multimodal Recurrent Neural Networks.
Elliot Anshelevich, Shreyas Sekar:
Market price competition in networks: How do monopolies impact social welfare?
Mitsugu Iwamoto, Kazuo Ohta, Junji Shikata:
Security Formalizations and Their Relationships for Encryption and Key Agreement in Information-Theoretic Cryptography.
Xianwen Wang, Shenmeng Xu, Zhi Wang, Lian Peng, Chuanli Wang:
International Scientific Collaboration of China: Collaborating Countries, Institutions and Individuals.
Xianwen Wang, Shenmeng Xu, Di Liu, Yongxia Liang:
The Role of Chinese-American Scientists in China-US Scientific Collaboration: A Study in Nanotechnology.
Koen Samyn, Sofie Van Hoecke, Bart Pieters, Charles-Frederik Hollemeersch, Aljosha Demeulemeester, Rik Van de Walle:
Real-time animation of human characters with fuzzy controllers.
Walaa Medhat, Ahmed Hassan Yousef, Hoda Korashy Mohamed:
Corpora Preparation and Stopword List Generation for Arabic data in Social Network.
Roi Livni, Shai Shalev-Shwartz, Ohad Shamir:
On the Computational Efficiency of Training Neural Networks.
Stavros G. Kolliopoulos, Yannis Moysoglou:
Extended Formulation Lower Bounds via Hypergraph Coloring?
Yulia S. Maslennikova, Vladimir V. Bochkarev:
Training Algorithm for Neuro-Fuzzy Network Based on Singular Spectrum Analysis.
Amjed Tahir, Stephen G. MacDonell, Jim Buchan:
Understanding Class-level Testability Through Dynamic Analysis.
Aleksandar Milenkoski, Marco Vieira, Bryan D. Payne, Nuno Antunes, Samuel Kounev:
Technical Information on Vulnerabilities of Hypercall Handlers.
Aleksandar Milenkoski, Alexandru Iosup, Samuel Kounev, Kai Sachs, Piotr Rygielski, Jason Ding, Walfredo Cirne, Florian Rosenberg:
Cloud Usage Patterns: A Formalism for Description of Cloud Usage Scenarios.
Aleksandar Milenkoski, Samuel Kounev, Alberto Avritzer, Nuno Antunes, Marco Vieira:
On Benchmarking Intrusion Detection Systems in Virtualized Environments.
Rupesh Kumar Srivastava, Jonathan Masci, Faustino J. Gomez, Jürgen Schmidhuber:
Understanding Locally Competitive Networks.
Zeynab Bahrami Bidoni, Roy George:
Network Performance Rank: An Approach for Comparison of Complex Networks.
Himanshu Chauhan, Vijay K. Garg:
Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations.
Sam Burnett, Nick Feamster:
Encore: Lightweight Measurement of Web Censorship with Cross-Origin Requests.
Thomas Steinke, Jonathan Ullman:
Interactive Fingerprinting Codes and the Hardness of Preventing False Discovery.

Hao Lu, Mahantesh Halappanavar, Ananth Kalyanaraman:
Parallel Heuristics for Scalable Community Detection.
(Withdrawn) Multi-resource Fair Allocation with Bounded Number of Tasks in Cloud Computing Systems.
Abhronil Sengupta, Sri Harsha Choday, Yusung Kim, Kaushik Roy:
Spin Orbit Torque Based Electronic Neuron.
Jan Olaf Blech, Maria Spichkova, Ian D. Peake, Heinz W. Schmidt:
Cyber-Virtual Systems: Simulation, Validation & Visualization.
Xun Zhou, Chin Keong Ho, Rui Zhang:
Wireless Power Meets Energy Harvesting: A Joint Energy Allocation Approach.
Akshay Kumar Maan, Dinesh Sasi Kumar, Sherin Sugathan, Alex Pappachen James:
Memristive Threshold Logic Circuit Design of Fast Moving Object Detection.
Kritsada Mamat, Wiroonsak Santipach:
On Transmit Beamforming for MISO-OFDM Channels With Finite-Rate Feedback.
Albert Y. S. Lam, Ka-Cheong Leung, Victor O. K. Li:
Capacity Management for Vehicle-to-Grid Power Regulation Services with Smart Charging Mechanism.
Rahul Vaze, Jainam Doshi, Kaibin Huang:
Receiver Antenna Partitioning for Simultaneous Wireless Information and Power Transfer.
Rushil Nagda, Siddhartha Satpathi, Rahul Vaze:
Optimal Offline and Competitive Online Strategies for Transmitter-Receiver Energy Harvesting.
Alkida Balliu, Dennis Olivetti, Özalp Babaoglu, Moreno Marzolla, Alina Sîrbu:
BiDAl: Big Data Analyzer for Cluster Traces.
Joan Boyar, Magnus Gausdal Find:
Constructive Relationships Between Algebraic Thickness and Normality.
O. M. Abdalla, Sherif A. Hammad, H. Ahmed Yousef:
A Framework for Real Time Hardware in the loop Simulation for Control Design.
Walaa Medhat, Ahmed Hassan Yousef, Hoda Korashy Mohamed:
Combined Algorithm for Data Mining using Association rules.
Rasha Y. Tantawy, Ziad Farouk, Shereen Mohamed, Ahmed H. Yousef:
Using Professional Social Networking as an Innovative Method for Data Extraction: The ICT Alumni Index Case Study.
Angélique Dremeau, Florent Krzakala:
Phase recovery from a Bayesian point of view: the variational approach.
Chao-Kai Wen, Yongpeng Wu, Kai-Kit Wong, Robert Schober, Pangan Ting:
Performance Limits of Massive MIMO Systems Based on Bayes-Optimal Inference.
Sriram Nandha Premnath, Zygmunt J. Haas:
A Practical, Secure, and Verifiable Cloud Computing for Mobile Systems.
Karen Aardal, Pierre Le Bodic:
Approximation algorithms for the Transportation Problem with Market Choice and related models.

Farzana Afrin, Mohammad Saiedur Rahaman:
An adaptive quasi harmonic broadcasting scheme with optimal bandwidth requirement.
Jeremiah Blocki, Saranga Komanduri, Lorrie Faith Cranor, Anupam Datta:
Spaced Repetition and Mnemonics Enable Recall of Multiple Strong Passwords.
(Withdrawn) Energy-Efficient Resource Allocation for Fractional Frequency Reuse in Heterogeneous Networks.
Marco Winkler, Jörg Reichardt:
Node-Specific Triad Pattern Mining: A Novel Tool for Complex-Network Analysis.
Xiang Xiang, Minh Dao, Gregory D. Hager, Trac D. Tran:
Hierarchical Sparse and Collaborative Low-Rank Representation for Emotion Recognition.
Devu Manikantan Shila, Xianghui Cao, Yu Cheng, Zequ Yang, Yang Zhou, Jiming Chen:
Ghost-in-the-Wireless: Energy Depletion Attack on ZigBee.
Bakthavachalam Elango, Periyaswamy Rajendran, Lutz Bornmann:
A macro level scientometric analysis of world tribology research output (1998 - 2012).
Yichen Jiang, Yi Ji, Tianhua Liu:
An Anonymous Communication Scheme based on Ring Signature in VANETs.
(Withdrawn) A Survey on Mobile Affective Computing.
Thierry Rakotoarivelo, Guillaume Jourjon, Olivier Mehani, Maximilian Ott, Mike Zink:
Repeatable Experiments with LabWiki.
Salman Fadaei, Martin Bichler:
A Truthful-in-expectation Mechanism for the Generalized Assignment Problem.
Ahmad Abdelfattah, David E. Keyes, Hatem Ltaief:
KBLAS: An Optimized Library for Dense Matrix-Vector Multiplication on GPU Accelerators.

Stefanie Haustein, Timothy D. Bowman, Kim Holmberg, Isabella Peters, Vincent Larivière:
Astrophysicists on Twitter: An in-depth analysis of tweeting and scientific publication behavior.
Erik Schnetter, Marek Blazewicz, Steven R. Brandt, David M. Koppelman, Frank Löffler:
Chemora: A PDE Solving Framework for Modern HPC Architectures.
Fredrick Romanus Ishengoma:
A Novel Design of IEEE 802.15.4 and Solar Based Autonomous Water Quality Monitoring Prototype using ECHERP.
Fabrizio Smith, Maurizio Proietti:
Ontology-based Representation and Reasoning on Process Models: A Logic Programming Approach.
(Withdrawn) Feature Engineering for Supervised Link Prediction on Dynamic Social Networks.
Rania Morsi, Diomidis S. Michalopoulos, Robert Schober:
Performance Analysis of Wireless Powered Communication with Finite/Infinite Energy Storage.
Joshua Juen, Anupam Das, Aaron Johnson, Nikita Borisov, Matthew Caesar:
Defending Tor from Network Adversaries: A Case Study of Network Path Prediction.
Cheng Cheng, Yingchun Jiang, Qiyu Sun:
Sampling and Galerkin reconstruction in reproducing kernel spaces.
Chinwendu Enyioha, Mohammad Amin Rahimian, George J. Pappas, Ali Jadbabaie:
Controllability and Fraction of Leaders in Infinite Network.
Nicolò Michelusi, Sahand Pirbadian, Mohamed Y. El-Naggar, Urbashi Mitra:
A Stochastic Model for Electron Transfer in Bacterial Cables.
Anamitra Roy Choudhury, Syamantak Das, Naveen Garg, Amit Kumar:
Rejecting Jobs to Minimize Load and Maximum Flow-time.
Wei-Cheng Kuo, Chih-Chun Wang:
Robust And Optimal Opportunistic Scheduling For Downlink 2-Flow Network Coding With Varying Channel Quality and Rate Adaptation.

Lu Liu, Xianghui Cao, Yu Cheng, Li Wang:
On Optimizing Energy Efficiency in Multi-Radio Multi-Channel Wireless Networks.
Luis M. Vaquero, Félix Cuadrado, Matei Ripeanu:
Systems for Near Real-Time Analysis of Large-Scale Dynamic Graphs.
Wentao Huang, Tracey Ho, Michael Langberg, Jörg Kliewer:
Single-Source/Sink Network Error Correction Is as Hard as Multiple-Unicast.
Mansoor I. Yousefi, Frank R. Kschischang:
On the Per-Sample Capacity of Nondispersive Optical Fibers.
Azam S. Zavar Moosavi, Adrian Sandu:
Approximate Exponential Algorithms to Solve the Chemical Master Equation.
D. Michael Freemon:
Maximizing Utilization and Performance of Guaranteed-Bandwidth Long Fat Networks and Virtual Circuits.

Travis E. Gibson, Zheng Qu, Anuradha M. Annaswamy, Eugene Lavretsky:
Adaptive Output Feedback based on Closed-loop Reference Models.
David Coleman, Ioan Alexandru Sucan, Mark Moll, Kei Okada, Nikolaus Correll:
Experience-Based Planning with Sparse Roadmap Spanners.
Oliver James, Heung-No Lee:
Restricted Isometry Random Variables: Probability Distributions, RIC Prediction and Phase Transition Analysis for Gaussian Encoders.
WeiQiang Xu, Wenchu Yuan, Qingjiang Shi, Xiaodong Wang, Yake Zhang:
Distributed Energy Efficient Cross-layer Optimization for Multihop MIMO Cognitive Radio Networks with Primary User Rate Protection.
Xianghui Cao, Xiangwei Zhou, Yu Cheng:
Energy Efficient Spectrum Sensing for State Estimation over A Wireless Channel.
WeiQiang Xu, Yushu Zhang, Qingjiang Shi, Xiaodong Wang:
Energy Management and Cross Layer Optimization for Wireless Sensor Network Powered by Heterogeneous Energy Sources.
David Menotti, Giovani Chiachia, Allan da Silva Pinto, William Robson Schwartz, Hélio Pedrini, Alexandre Xavier Falcão, Anderson Rocha:
Deep Representations for Iris, Face, and Fingerprint Spoofing Attack Detection.
V. Kiran Kumar:
Semantic Web Approach towards Interoperability and Privacy issues in Social Networks.
Chris Meissen, Laurent Lessard, Murat Arcak, Andrew Packard:
Compositional Performance Certification of Interconnected Systems using ADMM.


Kennedy Edemacu, Martin Euku, Richard Ssekibuule:
Packet Drop Attack Detection Techniques in Wireless Ad hoc Networks: A Review.
Anne Siemon, Stephan Menzel, Rainer Waser, Eike Linn:
A Complementary Resistive Switch-based Crossbar Array Adder.
Taymaz Rahkar-Farshi, Sara Behjat-Jamal, Mohammad-Reza Feizi-Derakhshi:
An improved multimodal PSO method based on electrostatic interaction using n- nearest-neighbor local search.
Adil H. M. Aldlawie, Ghassan A. QasMarrogy:
Performance evaluation of the effect ofnoise power jammer on the mobile bluetooth network.
Pablo Dorta-González, María-Isabel Dorta-González, Rafael Suárez-Vega:
An approach to the author citation potential: Measures of scientific performance which are invariant across scientific fields.


Saman Feghhi, Douglas J. Leith:
A Successful Web Traffic Analysis Attack Using Only Timing Information.
Amirpasha Shirazinia, Subhrakanti Dey:
Sparse Gaussian Linear Dimensionality Reduction over Noisy Communication Channels.

Giulio Cimini, Tiziano Squartini, Nicolò Musmeci, Michelangelo Puliga, Andrea Gabrielli, Diego Garlaschelli, Stefano Battiston, Guido Caldarelli:
Reconstructing topological properties of complex networks using the fitness model.
George Grispos, Tim Storer, William Bradley Glisson:
Calm Before the Storm: The Challenges of Cloud Computing in Digital Forensics.
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Größer, Marcin Jurdzinski:
Stochastic Timed Automata.
Carlo Kleber da Silva Rodrigues:
On the Optimization of BitTorrent-Like Protocols for Interactive On-Demand Streaming Systems.
Ehsan Ebrahimi Khaleghi, Jean-Claude Belfiore:
Compute-and-Forward for the Interference Channel: Diversity Precoding.
Luigi Nardi, Bruno Bodin, M. Zeeshan Zia, John Mawer, Andy Nisbet, Paul H. J. Kelly, Andrew J. Davison, Mikel Luján, Michael F. P. O'Boyle, Graham D. Riley, Nigel P. Topham, Steve B. Furber:
Introducing SLAMBench, a performance and accuracy benchmarking methodology for SLAM.
Andrej Gajduk, Mirko Todorovski, Ljupco Kocarev:
Improved steady-state stability of power grids with a communication infrastructure.
Khairul Azha A. Aziz, Shahrum Shah Abdullah:
Face Detection Using Radial Basis Functions Neural Networks With Fixed Spread.
Andrej Gajduk, Mirko Todorovski, Jürgen Kurths, Ljupco Kocarev:
Improving power grid transient stability by plug-in electric vehicles.
Yuxin Hu, Luming Zhang:
An Aerial Image Recognition Framework using Discrimination and Redundancy Quality Measure.
Sharareh Alipour, Bahman Kalantari, Hamid Homapour:
Fast Approximation and Randomized Algorithms for Diameter.
June Zhang, José M. F. Moura:
Role of Subgraphs in Epidemics over Finite-Size Networks under the Scaled SIS Process.
Lawrence Nehemiah:
Towards EHR interoperability in Tanzania hospitals: Issues, Challenges and Opportunities.
Shafii Muhammad Abdulhamid, Muhammad Shafie Abd Latiff:
League Championship Algorithm Based Job Scheduling Scheme for Infrastructure as a Service Cloud.
Alexander Golovnev, Alexander S. Kulikov, Ivan Mihajlin:
Families with infants: speeding up algorithms for NP-hard problems using FFT.
Anurag Acharya, Alex Verstak, Helder Suzuki, Sean Henderson, Mikhail Iakhiaev, Cliff Chiung-Yu Lin, Namit Shetty:
Rise of the Rest: The Growing Impact of Non-Elite Journals.
Brad Ballinger, Mirela Damian, David Eppstein, Robin Y. Flatland, Jessica Ginepro, Thomas C. Hull:
Minimum Forcing Sets for Miura Folding Patterns.

Ilias Diakonikolas, Daniel M. Kane, Vladimir Nikishkin:
Testing Identity of Structured Distributions.
Elsa Dupraz, David Declercq, Bane V. Vasic, Valentin Savin:
Analysis and Design of Finite Alphabet Iterative Decoders Robust to Faulty Hardware.
Daniela Maftuleac, SeoungKyou Lee, Sándor P. Fekete, Aditya Kumar Akash, Alejandro López-Ortiz, James McLurkin:
Local Policies for Efficiently Patrolling a Triangulated Region by a Robot Swarm.
Jian Sun, Xiaofeng Zhong, Xuan Zhou, Xiaolong Fu:
Recommendation Scheme Based on Converging Properties for Contents Broadcasting.
Farrokh Etezadi, Ashish Khisti, Mitchell D. Trott:
Zero-Delay Sequential Transmission of Markov Sources Over Burst Erasure Channels.
Ashok Kumar Moses, Rajesh Sundaresan:
Minimization Problems Based on a Parametric Family of Relative Entropies I: Forward Projection.
(Withdrawn) Synthesis of Sequential Reversible Circuits through Finite State Machine.
Leo van Iersel, Steven Kelk, Nela Lekic, Simone Linz:
Satisfying ternary permutation constraints by multiple linear orders or phylogenetic trees.
Vishal Pareek:
A New Gate for Optimal Fault Tolerant & Testable Reversible Sequential Circuit Design.
R. M. Farouk, S. Badr, M. Sayed Elahl:
Recognition of cDNA microarray image Using Feedforward artificial neural network.
Qibin Zhao, Guoxu Zhou, Liqing Zhang, Andrzej Cichocki, Shun-ichi Amari:
Robust Bayesian Tensor Factorization for Incomplete Multiway Data.
Asghar Asgharian-Sardroud, Alireza Bagheri:
Unit-length embedding of cycles and paths on grid graphs.
Silas L. Fong, Vincent Y. F. Tan:
Asymptotic Expansions for Gaussian Channels with Feedback under a Peak Power Constraint.
WeiQiang Xu, Jianchen Tu, Qingjiang Shi:
Cross-Layer Control for Worse Case Delay Guarantees in Heterogeneous Powered Wireless Sensor Network via Lyapunov Optimization.
Adel M. Elmahdy, Amr El-Keyi, Tamer A. ElBatt, Karim G. Seddik:
On the Stable Throughput of Cooperative Cognitive Radio Networks with Finite Relaying Buffer.
Antoine Deleforge, Walter Kellermann:
Phase-Optimized K-SVD for Signal Extraction from Underdetermined Multichannel Sparse Mixtures.
Lazaros Lazaridis, Maria Papatsimouli, George F. Fragulis:
S.A.T.E.P.: Synchronous-Asynchronous Tele-education Platform.


Alexander Kurz, Stefan Milius, Dirk Pattinson, Lutz Schröder:
Simplified Coalgebraic Trace Equivalence.

Andreas Schwarz, Christian Huemmer, Roland Maas, Walter Kellermann:
Spatial Diffuseness Features for DNN-Based Speech Recognition in Noisy and Reverberant Environments.
(Withdrawn) Efficient On-line Detection of Temporal Patterns.
Emily L. Spratt, Ahmed M. Elgammal:
Computational Beauty: Aesthetic Judgment at the Intersection of Art and Science.
Eric Bax, Lingjie Weng, Xu Tian:
Validation of k-Nearest Neighbor Classifiers Using Inclusion and Exclusion.
Jeremie Houssineau, Daniel E. Clark, Spela Ivekovic, Chee Sing Lee, Jose Franco:
A unified approach for multi-object triangulation, tracking and camera calibration.
Bishoy Moussa, Mahmoud Mostafa, Mahmoud El-Khouly:
XML Schema-based Minification for Communication of Security Information and Event Management (SIEM) Systems in Cloud Environments.

Panayotis Mertikopoulos, Elena Veronica Belmega:
Transmit without regrets: Online optimization in MIMO-OFDM cognitive radio systems.
Alistair Sinclair, Piyush Srivastava, Daniel Stefankovic, Yitong Yin:
Spatial mixing and the connective constant: Optimal bounds.
Tadilo Endeshaw Bogale, Long Bao Le, Afshin Haghighat:
Hybrid Analog-Digital Beamforming: How Many RF Chains and Phase Shifters Do We Need?
Wenlong Shen, Weisheng Hong, Xianghui Cao, Bo Yin, Devu Manikantan Shila, Yu Cheng:
Secure Key Establishment for Device-to-Device Communications.
David Lillis, Rem W. Collier, Howell R. Jordan:
Evaluation of a Conversation Management Toolkit for Multi Agent Programming.
David Lillis, Fergus Toolan, Rem W. Collier, John Dunnion:
Extending Probabilistic Data Fusion Using Sliding Windows.
Anudhyan Boral, Michael Mitzenmacher:
Multi-Party Set Reconciliation Using Characteristic Polynomials.
Mohamed Bebah, Amine Chennoufi, Azzeddine Mazroui, Abdelhak Lakhouaja:
Hybrid approaches for automatic vowelization of Arabic texts.
Gábor Erdélyi, Edith Hemaspaandra, Lane A. Hemaspaandra:
More Natural Models of Electoral Control by Partition.
Shreyasee Mukherjee, Kai Su, Narayan B. Mandayam, K. K. Ramakrishnan, Dipankar Raychaudhuri, Ivan Seskar:
Evaluating Opportunistic Delivery of Large Content with TCP over WiFi in I2V Communication.

Ferhat Özgür Çatak:
Polarization Measurement of High Dimensional Social Media Messages With Support Vector Machine Algorithm Using Mapreduce.
Sy-Quoc Le, Vincent Yan Fu Tan, Mehul Motani:
Second-Order Coding Rates for Conditional Rate-Distortion.
Michael G. Gowanlock, Henri Casanova:
Technical Report: Towards Efficient Indexing of Spatiotemporal Trajectories on the GPU for Distance Threshold Similarity Searches.
Minghui Yang, Jin Li, Keqin Feng, Dongdai Lin:
Generalized Hamming Weights of Irreducible Cyclic Codes.
Giovanni Caudullo:
Applying Geospatial Semantic Array Programming for a Reproducible Set of Bioclimatic Indices in Europe.
Giuseppe Toscani:
A concavity property for the reciprocal of Fisher information and its consequences on Costa's EPI.
João F. C. Mota, Nikos Deligiannis, Miguel R. D. Rodrigues:
Compressed Sensing With Side Information: Geometrical Interpretation and Performance Bounds.
Srikanth Pai Bantwal, B. Sundar Rajan:
On the Bounds of Certain Maximal Linear Codes in a Projective Space.
Georg Bachmeier, Michael Luttenberger, Maximilian Schlund:
Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity.
Zheng Chen, Marios Kountouris:
Distributed SIR-Aware Opportunistic Access Control for D2D Underlaid Cellular Networks.
Tiffany A. Huang, Matanya B. Horowitz, Joel W. Burdick:
Convex Model Predictive Control for Vehicular Systems.



Ubiratam de Paula Junior, Lúcia Maria de A. Drummond, Daniel de Oliveira, Yuri Frota, Valmir Carneiro Barbosa:
Handling Flash-Crowd Events to Improve the Performance of Web Applications.
Ender Konukoglu, Melanie Ganz:
Approximate False Positive Rate Control in Selection Frequency for Random Forest.
Patrick K. Nicholson, Pawel Gawrychowski:
Encodings of Range Maximum-Sum Segment Queries and Applications.
Zhe Wang, Vaneet Aggarwal, Xiaodong Wang:
Multiuser Joint Energy-Bandwidth Allocation with Energy Harvesting - Part I: Optimum Algorithm & Multiple Point-to-Point Channels.
Rafael Dowsley, Anderson C. A. Nascimento:
On the Oblivious Transfer Capacity of Generalized Erasure Channels against Malicious Adversaries.
Zhe Wang, Vaneet Aggarwal, Xiaodong Wang:
Multiuser Joint Energy-Bandwidth Allocation with Energy Harvesting - Part II: Multiple Broadcast Channels & Proportional Fairness.
S. V. Kasmir Raja, V. Rajitha, Meenakshi Lakshmanan:
An Ontology for Comprehensive Tutoring of Euphonic Conjunctions of Sanskrit Grammar.
Curt Schieler, Paul W. Cuff:
The Henchman Problem: Measuring Secrecy by the Minimum Distortion in a List.

Claude Carlet, Guang Gong, Yin Tan:
Quadratic Zero-Difference Balanced Functions, APN Functions and Strongly Regular Graphs.
Chung-Yu Lou, Babak Daneshrad, Richard D. Wesel:
Optimizing Pilot Length for a Go/No-Go Decision in Two-State Block Fading Channels with Feedback.
Alexandros G. Dimakis, Anna Gál, Ankit Singh Rawat, Zhao Song:
Batch Codes through Dense Graphs without Short Cycles.
Wenbo Wang, Andres Kwasinski, Zhu Han:
Power allocation with stackelberg game in femtocell networks: a self-learning approach.
Philippe Vincent-Lamarre, Jade Boivin, Yassine Gargouri, Vincent Larivière, Stevan Harnad:
Estimating Open Access Mandate Effectiveness: I. The MELIBEA Score.

Mohammed Javed, P. Nagabhushan, Bidyut Baran Chaudhuri:
Direct Processing of Document Images in Compressed Domain.
Shihao Yan, Robert A. Malaney, Ido Nevat, Gareth W. Peters:
Location Spoofing Detection for VANETs by a Single Base Station in Rician Fading Channels.
Yongpeng Wu, Chao-Kai Wen, Chengshan Xiao, Xiqi Gao, Robert Schober:
Linear Precoding for the MIMO Multiple Access Channel with Finite Alphabet Inputs and Statistical CSI.
B. Elango, P. Rajendran:
Whole counting vs. whole-normalized counting: A country level comparative study of internationally collaborated papers on Tribology.
Jayakrushna Sahoo, Ashok Kumar Das, Adrijit Goswami:
An Algorithm for Mining High Utility Closed Itemsets and Generators.
Behrooz Razeghi, Ghosheh Abed Hodtani, Seyed Alireza Seyedin:
Coverage Region Analysis for MIMO Amplify-and-Forward Relay Channel with the Source to Destination Link.
Rifkat I. Nabiyev, Rushan Ziatdinov:
A mathematical design and evaluation of Bernstein-Bezier curves' shape features using the laws of technical aesthetics.
Mugen Peng, Yuan Li, Jiamo Jiang, Jian Li, Chonggang Wang:
Heterogeneous Cloud Radio Access Networks: A New Perspective for Enhancing Spectral and Energy Efficiencies.
Mohammad Momani, Maen Takruri, Rami Al-Hmouz:
Risk Assessment Algorithm in Wireless Sensor Networks using Beta Distribution.
Greg Yang:
Computabilities of Validity and Satisfiability in Probability Logics over Finite and Countable Models.
Tareq M. Malas, Georg Hager, Hatem Ltaief, Holger Stengel, Gerhard Wellein, David E. Keyes:
Multicore-optimized wavefront diamond blocking for optimizing stencil updates.
Derrick Wing Kwan Ng, Robert Schober:
Secure and Green SWIPT in Distributed Antenna Networks with Limited Backhaul Capacity.
Son Nguyen Hong, Hao Nguyen Anh, Trong Thua Huynh:
A Study on Impacts of RTT Inaccuracy on Dynamic Bandwidth Allocation in PON and Solution.
Xin Yuan, Patrick Llull, David J. Brady, Lawrence Carin:
Tree-Structure Bayesian Compressive Sensing for Video.
William Moran, Frederick R. Cohen, Zengfu Wang, Sofia Suvorova, Douglas Cochran, Tom Taylor, Peter Mark Farrell, Stephen D. Howard:
Bounds on Multiple Sensor Fusion.
Asmae Drhima, Mustapha Najmeddine:
Duality for Modules and Applications to Decoding Linear Codes over Finite Commutative Rings.
Javier Borge-Holthoefer, Walid Magdy, Kareem Darwish, Ingmar Weber:
Content and Network Dynamics Behind Egyptian Political Polarization on Twitter.
Hongyang Sun, Patricia Stolf, Jean-Marc Pierson, Georges Da Costa:
Energy-Efficient and Thermal-Aware Resource Management for Heterogeneous Datacenters.
Soumendu Chakraborty, Anand Singh Jalal, Charul Bhatnagar:
An Efficient Bit Plane X-OR Algorithm for Irreversible Image Steganography.
Soumendu Chakraborty, Anand Singh Jalal, Charul Bhatnagar:
Secret Image Sharing Using Grayscale Payload Decomposition and Irreversible Image Steganography.
Peter Hossain, Adaulfo Komisarczuk, Garin Pawetczak, Sarah Van Dijk, Isabella Axelsen:
Machine Learning Techniques in Cognitive Radio Networks.
Sariel Har-Peled, Haim Kaplan, Micha Sharir, Shakhar Smorodinsky:
Epsilon-Nets for Halfspaces Revisited.
Álvaro García-Recuero, Sérgio Esteves, Luís Veiga:
Quality-of-Data for Consistency Levels in Geo-replicated Cloud Data Stores.
Paul Bendich, Ellen Gasparovic, John Harer, Rauf Izmailov, Linda Ness:
Multi-Scale Local Shape Analysis and Feature Selection in Machine Learning Applications.
Dani Korpi, Timo Huusari, Yang-Seok Choi, Lauri Anttila, Shilpa Talwar, Mikko Valkama:
Full-Duplex Mobile Device - Pushing The Limits.
Matin Macktoobian, Mohammad Jafari, Erfan Attarzadeh Gh:
Applied Neural Cross-Correlation into the Curved Trajectory Detection Process for Braitenberg Vehicles.
Ntjatji Gosebo:
The Impact of e-Politician on the Adoption of e-Service: Perceptions from a sample of South African Municipal IT Heads.
Joaquín García-Alfaro, Gürkan Gür:
Proceedings 2014 International Workshop on Advanced Intrusion Detection and Prevention, AIDP 2014, Marrakesh, Morocco, June 2014. EPTCS 165, 2014 [contents]
Bartlomiej Bosek, Hal A. Kierstead, Tomasz Krawczyk, Grzegorz Matecki, Matthew E. Smith:
An Improved Subexponential Bound for On-line Chain Partitioning.
Jaikumar Radhakrishnan, Pranab Sen, Naqueeb Warsi:
One-shot Marton inner bound for classical-quantum broadcast channel.
Ram Niwash Mahia, Deepak Fulwani, Mahaveer Singh:
Characterization of Driver Nodes of Anti-Stable Networks.
Jan Henrik Ziegeldorf, Nicolai Viol, Martin Henze, Klaus Wehrle:
POSTER: Privacy-preserving Indoor Localization.
(Withdrawn) The clique problem on inductive $k$-independent graphs.
Paul Emmerich, Florian Wohlfart, Daniel Raumer, Georg Carle:
MoonGen: A Scriptable High-Speed Packet Generator.
Kalliopi Kravari, Nick Bassiliades:
DISARM: A Social Distributed Agent Reputation Model based on Defeasible Logic.
Joshua Parker, Arnold P. Boedihardjo:
Evidence of spatial embedding in the IPv4 router-level Internet network.
Haifang Li, Fei Tian, Wei Chen, Tao Qin, Tie-Yan Liu:
Generalization Analysis for Game-Theoretic Machine Learning.
(Withdrawn) Single Image Super Resolution via Manifold Approximation.
Valerio Capraro, Joseph Y. Halpern:
Translucent Players: Explaining Cooperative Behavior in Social Dilemmas.
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König:
Behavioral Metrics via Functor Lifting.
Michael Felderer, Elizabeth Bjarnason, Markus Borg, Michael Unterkalmsteiner, Mirko Morandini, Matt Staats:
Workshop Summary of the 1st International Workshop on Requirements and Testing (RET'14).
Fatemeh Rajabi-Alni, Alireza Bagheri, Behrouz Minaei-Bidgoli:
An O(n^3) time algorithm for the maximum weight b-matching problem on bipartite graphs.
Talha Cihad Gülcü, Alexander Barg:
Achieving Secrecy Capacity of the Wiretap Channel and Broadcast Channel with a Confidential Component.
Travis Gagie, Gonzalo Navarro, Yakov Nekrich, Alberto Ordóñez Pereira:
Efficient and Compact Representations of Prefix Codes.
David Abdurachmanov, Peter Elmer, Giulio Eulisse, Robert Knight, Tapio Niemi, Jukka K. Nurminen, Filip Nyback, Goncalo Pestana, Zhonghong Ou, Kashif Nizam Khan:
Techniques and tools for measuring energy efficiency of scientific software applications.
David Abdurachmanov, Brian Bockelman, Peter Elmer, Giulio Eulisse, Robert Knight, Shahzad Muzaffar:
Heterogeneous High Throughput Scientific Computing with APM X-Gene and Intel Xeon Phi.
Yongxin Chen, Tryphon T. Georgiou, Michele Pavon:
Optimal steering of a linear stochastic system to a final probability distribution, part II.
Junhui Shen, Peiyan Zhu, Rui Fan, Wei Tan:
Sentiment Analysis based on User Tag for Traditional Chinese Medicine in Weibo.
K. Brad Wray, Lutz Bornmann:
Philosophy of science viewed through the lense of "References Publication Years spectrosopy" (RPYS).
Lavanya Sita Tekumalla, Chiranjib Bhattacharyya:
Mining Block I/O Traces for Cache Preloading with Sparse Temporal Non-parametric Mixture of Multivariate Poisson.
Nikolaos Pappas, Manolis Ploumidis, Apostolos Traganitis:
Performance Evaluation of Flow Allocation with Successive Interference Cancelation for Random Access WMNs.
Ali Eslami, Chuan Huang, Junshan Zhang, Shuguang Cui:
Cascading Failures in Finite-Size Random Geometric Networks.
Emil Björnson, Erik G. Larsson, Mérouane Debbah:
Optimizing Multi-Cell Massive MIMO for Spectral Efficiency: How Many Users Should Be Scheduled?
Yuriy V. Pershin, Fabio L. Traversa, Massimiliano Di Ventra:
Memcomputing with membrane memcapacitive systems.
Eyal En Gad, Yue Li, Jörg Kliewer, Michael Langberg, Anxiao Jiang, Jehoshua Bruck:
Asymmetric Error Correction and Flash-Memory Rewriting using Polar Codes.
Ryan A. Rossi, Nesreen K. Ahmed:
NetworkRepository: A Graph Data Repository with Visual Interactive Analytics.
Mohamad Trad, Raja Jurdak, Rajib Kumar Rana:
Guiding Ebola Patients to Suitable Health Facilities: An SMS-based Approach.
Marco Di Renzo:
Stochastic Geometry Modeling and Analysis of Multi-Tier Millimeter Wave Cellular Networks.
Abid Mehmood, Dayang N. A. Jawawi:
An exploratory study of the suitability of UML-based aspect modeling techniques with respect to their integration into Model-Driven Engineering context.
Masa-aki Takizawa, Masahiro Yukawa, Cédric Richard:
A stochastic behavior analysis of stochastic restricted-gradient descent algorithm in reproducing kernel Hilbert spaces.


Chengwen Xing, Zesong Fei, Yiqing Zhou, Zhengang Pan, Hualei Wang:
Transceiver Design with Matrix-Version Water-Filling Solutions under Mixed Power Constraints.
Symeon Chouvardas, Gerasimos Mileounis, Nicholas Kalouptsidis, Sergios Theodoridis:
Greedy Sparsity-Promoting Algorithms for Distributed Learning.
Iyed Khammassi, Rachid El Azouzi, Majed Haddad, Issam Mabrouki:
A Game Theoretic Model for Network Virus Protection.
Tong Zhang, Xiaofeng Tao, Qimei Cui:
Joint Multi-Cell Resource Allocation Using Pure Binary-Integer Programming for LTE Uplink.
Sardaouna Hamadou, Abdelouahed Gherbi, John Mullins, Sofiene Beji:
A Time-Triggered Constraint-Based Calculus for Avionic Systems.
Rita Ammanouil, André Ferrari, Cédric Richard:
A graph Laplacian regularization for hyperspectral data unmixing.
Xianwen Wang, Chen Liu, Wenli Mao:
Does A Paper Being Featured on The Cover of A Journal Guarantee More Attention and Greater Impact?
Haewoon Kwak, Jisun An:
Understanding News Geography and Major Determinants of Global News Coverage of Disasters.
Junyeong Seo, Youngchul Sung, Gilwon Lee, Donggun Kim:
Training Beam Sequence Design for Millimeter-Wave MIMO Systems: A POMDP Framework.
Rifkat I. Nabiyev, Ilshat H. Nabiyev, Rushan Ziatdinov:
The potential of mobile exhibition as a form of implementation for social transformation and educational expo-design in addressing public social problems.
Chern Hong Lim, Anhar Risnumawan, Chee Seng Chan:
Scene Image is Non-Mutually Exclusive - A Fuzzy Qualitative Scene Understanding.
Xingqin Lin, Libin Jiang, Jeffrey G. Andrews:
Performance Analysis of Asynchronous Multicarrier Wireless Networks.
Mei Kuan Lim, Chee Seng Chan, Dorothy Ndedi Monekosso, Paolo Remagnino:
Refined Particle Swarm Intelligence Method for Abrupt Motion Tracking.
Wei Ren Tan, Chee Seng Chan, Yogarajah Pratheepan, Joan Condell:
A Fusion Approach for Efficient Human Skin Detection.
Wai Lam Hoo, Tae-Kyun Kim, Yuru Pei, Chee Seng Chan:
Enhanced Random Forest with Image/Patch-Level Learning for Image Understanding.
Mei Kuan Lim, Ven Jyn Kok, Chen Change Loy, Chee Seng Chan:
Crowd Saliency Detection via Global Similarity Structure.



Andrew Harms, Waheed U. Bajwa, A. Robert Calderbank:
Identification of Linear Time-Varying Systems Through Waveform Diversity.
Rami Al-Rfou', Vivek Kulkarni, Bryan Perozzi, Steven Skiena:
POLYGLOT-NER: Massive Multilingual Named Entity Recognition.
Hans L. Bodlaender, Marc J. van Kreveld:
Google Scholar makes it Hard - the complexity of organizing one's publications.
Aaradhna Goyal, Ali Alshamrani, Dhivyaa Nandakumar, Dileep Vanga, Dmitriy Fingerman, Parul Gupta, Riya Ray, Srikanth Suryadevara:
Towards Refactoring DMARF and GIPSY OSS.
James P. Balhoff, T. Alexander Dececchi, Paula M. Mabee, Hilmar Lapp:
Presence-absence reasoning for evolutionary phenotypes.
Andrea Del Prete, Francesco Nori, Giorgio Metta, Lorenzo Natale:
Prioritized motion-force control of constrained fully-actuated robots: "Task Space Inverse Dynamics".
Debdipta Goswami, Chiranjib Saha, Kunal Pal, Swagatam Das:
Multi-Agent Shape Formation and Tracking Inspired from a Social Foraging Dynamics.
Srinadh Bhojanapalli, Prateek Jain, Sujay Sanghavi:
Tighter Low-rank Approximation via Sampling the Leveraged Element.
Liang Zhang, Zheng Yan, Donghan Feng, Gang Wang, Shaolun Xu, Naihu Li, Lei Jing:
Centralized and Decentralized Optimal Scheduling for Charging Electric Vehicles.
Xiankai Lu, Zheng Fang, Tao Xu, Haiting Zhang, Hongya Tuo:
Efficient Image Categorization with Sparse Fisher Vector.
Neil Shah, Alex Beutel, Brian Gallagher, Christos Faloutsos:
Spotting Suspicious Link Behavior with fBox: An Adversarial Perspective.
Mei Kuan Lim, Chee Seng Chan, Dorothy Ndedi Monekosso, Paolo Remagnino:
Detection of Salient Regions in Crowded Scenes.
Taisuke Sato, Keiichi Kubota, Yoshitaka Kameya:
A Logic-based Approach to Generatively Defined Discriminative Modeling.
Ponnurangam Kumaraguru, Niharika Sachdeva:
Privacy4ICTD in India: Exploring Perceptions, Attitudes and Awareness about ICT Use.
Ivo Herman, Dan Martinec, Zdenek Hurák, Michael Sebek:
Scaling of transfer functions in vehicular platoons: the role of asymmetry disputed.


Loïc Michel:
Bernstein-based polynomial approach to study the stability of switched systems and formal verification using HOL Light.

Harry J. F. Qiu, Ivan Wang Hei Ho, Chi K. Tse, Yu Xie:
Technical Report: A Methodology for Studying 802.11p VANET Broadcasting Performance with Practical Vehicle Distribution.
(Withdrawn) Model-Free 3D Reconstruction of Weld Joint Geometry Using Laser Scanning in Presence of Noise.
Hamidreza Arjmandi, Gholamali Aminian, Amin Gohari, Masoumeh Nasiri-Kenari, Urbashi Mitra:
Capacity of Diffusion based Molecular Communication Networks over LTI-Poisson Channels.

Amir M. Ben-Amram, Aviad Pineles:
Flowchart Programs, Regular Expressions, and Decidability of Polynomial Growth-Rate. 24-49
Subhadip Basu, Sudipta Dey, K. Mukherjee, T. S. Jana:
Online interpretation of numeric sign language using 2-d skeletal model.
Subhadip Basu, Mahantapas Kundu, Mita Nasipuri, Dipak Kumar Basu:
A two-pass fuzzy-geno approach to pattern classification.
Subhadip Basu, Saurav Chakraborty, K. Mukherjee, S. K. Pandit:
Online Tracking of Skin Colour Regions Against a Complex Background.
Dipak Kumar Kole, Subhadip Basu:
An Automated Group Key Authentication System Using Secret Image Sharing Scheme.
Paolo Ballarini:
Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking.
François Gonze, Raphaël M. Jungers:
On the Synchronizing Probability Function and the Triple Rendezvous Time for Synchronzing Automata.
Martin Lück, Arne Meier, Irina Schindler:
Parameterized Complexity of CTL: A Generalization of Courcelle's Theorem.
Karl Rupp, Josef Weinbub, Ansgar Jüngel, Tibor Grasser:
Pipelined Iterative Solvers with Kernel Fusion for Graphics Processing Units.
K. R. Sahasranand, Vinod Sharma:
Distributed Nonparametric Sequential Spectrum Sensing under Electromagnetic Interference.
Bernhard Rumpe, Christian Berger, Holger Krahn:
Softwaretechnische Absicherung intelligenter Systeme im Fahrzeug.
Pietro Codara, Ottavio M. D'Antona:
Generalized Fibonacci and Lucas cubes arising from powers of paths and cycles.

Ian P. Mulholland, Enrico Paolini, Mark F. Flanagan:
Design of LDPC Code Ensembles with Fast Convergence Properties.
Ana Salagean, Matei Mandache-Salagean, Richard Winter, Raphael C.-W. Phan:
Higher Order Differentiation over Finite Fields with Applications to Generalising the Cube Attack.

Stefanie Haustein, Timothy D. Bowman, Kim Holmberg, Andrew Tsou, Cassidy R. Sugimoto, Vincent Larivière:
Tweets as impact indicators: Examining the implications of automated bot accounts on Twitter.
Shadman Sakib, Rakibul Haq, Tariq Wazed:
Unified mobile public health care system (UMPHCS) for underdeveloped countries.
Shadman Sakib, Anik Chowdhury, Shekh Tanvir Ahamed, Syed Imam Hasan:
Maze solving Algorithm for line following robot and derivation of linear path distance from nonlinear path.
Anshul Gupta, Sven Schewe, Dominik Wojtczak:
Making the Best of Limited Memory in Multi-Player Discounted Sum Games. 16-30
Roghayeh Joda, Michele Zorzi:
Access Policy Design for Two Cognitive Secondary Users under a Primary ARQ Process.
Foto N. Afrati, Manas Joglekar, Christopher Ré, Semih Salihoglu, Jeffrey D. Ullman:
GYM: A Multiround Join Algorithm In MapReduce.
(Withdrawn) An improved approximation algorithm for k-median problem using a new factor-revealing LP.
Adrien Devresse, Fabrizio Furano:
Efficient HTTP based I/O on very large datasets for high performance computing with the libdavix library.
Samuel R. Bowman, Christopher Potts, Christopher D. Manning:
Learning Distributed Word Representations for Natural Logic Reasoning.
Biju Issac, K. Hamid, C. E. Tan:
Wireless Mobility Management with Prediction, Delay Reduction and Resource Management in 802.11 Networks.
Jashua Rajesh Modapothala, Biju Issac:
Analysis of corporate environmental reports using statistical techniques and data mining.
Taimoor Abbas, Jörg Nuckelt, Thomas Kürner, Thomas Zemen, Christoph F. Mecklenbräuker, Fredrik Tufvesson:
Simulation and Measurement Based Vehicle-to-Vehicle Channel Characterization: Accuracy and Constraint Analysis.
Enrico Bazzoli, Claudio Criscione, Federico Maggi, Stefano Zanero:
XSS Peeker: A Systematic Analysis of Cross-site Scripting Vulnerability Scanners.
Jie Wang, Jieping Ye:
Two-Layer Feature Reduction for Sparse-Group Lasso via Decomposition of Convex Sets.
Nicolò Michelusi, Michele Zorzi:
Optimal Adaptive Random Multiaccess in Energy Harvesting Wireless Sensor Networks.



Adam Noel, Karen C. Cheung, Robert Schober:
Joint Channel Parameter Estimation via Diffusive Molecular Communication.
Aude Marzuoli, Emmanuel Boidot, Eric Feron, Paul B. C. van Erp, Alexis Ucko, Alexandre M. Bayen, Mark Hansen:
Anatomy of a Crash.
Nariman Farsad, Huseyin Birkan Yilmaz, Andrew W. Eckford, Chan-Byoung Chae, Weisi Guo:
A Comprehensive Survey of Recent Advancements in Molecular Communication.
Bernhard Haeupler, Mark S. Manasse, Kunal Talwar:
Consistent Weighted Sampling Made Fast, Small, and Easy.
David G. Anderson, Ming Gu, Christopher Melgaard:
An Efficient Algorithm for Unweighted Spectral Graph Sparsification.
Jinming Wen, Baojian Zhou, Wai Ho Mow, Xiao-Wen Chang:
Compute-and-Forward Protocol Design Based on Improved Sphere Decoding.
Xiangang Li, Xihong Wu:
Constructing Long Short-Term Memory based Deep Recurrent Neural Networks for Large Vocabulary Speech Recognition.
Peng Wang, Yonghui Li, Lingyang Song, Branka Vucetic:
Multi-Gigabits Millimetre Wave Wireless Communications for 5G: From Fixed Access to Cellular Networks.
Nourhene Ellouze, Slim Rekhis, Mohamed Allouche, Noureddine Boudriga:
Digital Investigation of Security Attacks on Cardiac Implantable Medical Devices. 15-30
Muhammad Sabir Idrees, Yves Roudier, Ludovic Apvrille:
Model the System from Adversary Viewpoint: Threats Identification and Modeling. 45-58


Manasij Venkatesh, Vikas Majjagi, Deepu Vijayasenan:
Implicit segmentation of Kannada characters in offline handwriting recognition using hidden Markov models.
(Withdrawn) Enhanced Multiobjective Evolutionary Algorithm based on Decomposition for Solving the Unit Commitment Problem.
Martín Hötzel Escardó, Paulo Oliva:
The Herbrand Functional Interpretation of the Double Negation Shift.
Robert A. Bridges, John P. Collins, Erik M. Ferragut, Jason A. Laska, Blair D. Sullivan:
Multi-Level Anomaly Detection on Streaming Graph Data.
Chang-Ick Song, Cong Ling, Jaehyun Park, Bruno Clerckx:
MIMO Broadcasting for Simultaneous Wireless Information and Power Transfer: Weighted MMSE Approaches.
Christoph R. Birkl, Damien F. Frost, Adrien M. Bizeray, Robert R. Richardson, David A. Howey:
Modular converter system for low-cost off-grid energy storage using second life Li-ion batteries.
Matthieu Barjon, Arnaud Casteigts, Serge Chaumette, Colette Johnen, Yessin M. Neggaz:
Maintaining a Spanning Forest in Highly Dynamic Networks: The Synchronous Case.
Biju Issac, K. Hamid, C. E. Tan:
Hybrid Mobility Prediction of 802.11 Infrastructure Nodes by Location Tracking and Data Mining.


Martina Eikel, Christian Scheideler, Alexander Setzer:
Minimum Linear Arrangement of Series-Parallel Graphs.
Ynte Vanderhoydonc, Wim Vanroose:
Constrained Runs algorithm as a lifting operator for the Boltzmann equation.
(Withdrawn) Optimal Allocation of Power Pool for Two-Cell Single-User Joint Transmission.
Silvio Traversaro, Andrea Del Prete, Riccardo Muradore, Lorenzo Natale, Francesco Nori:
Inertial Parameter Identification Including Friction and Motor Dynamics.
Andrea Del Prete, Francesco Romano, Lorenzo Natale, Giorgio Metta, Giulio Sandini, Francesco Nori:
Prioritized Optimal Control.
Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl:
Inter-procedural Two-Variable Herbrand Equalities.
Sergio Grammatico, Francesca Parise, Marcello Colombino, John Lygeros:
Decentralized Convergence to Nash Equilibria in Constrained Mean Field Control.
Andrea Del Prete, Nicolas Mansard, Francesco Nori, Giorgio Metta, Lorenzo Natale:
Partial Force Control of Constrained Floating-Base Robots.
Ynte Vanderhoydonc, Wim Vanroose:
Initialization of lattice Boltzmann models with the help of the numerical Chapman-Enskog expansion.
Brijesh Dongol, Victor B. F. Gomes, Georg Struth:
Principles for Verification Tools: Separation Logic.
(Withdrawn) Power Allocation and Scheduling for Two-Cell Distributed Interference Subtraction System.
Massimo Stella, Markus Brede:
Patterns in the English Language: Phonological Networks, Percolation and Assembly Models.
Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg:
Stochastic Parity Games on Lossy Channel Systems.
Alina Sîrbu, Özalp Babaoglu:
Towards a systematic analysis of cluster computing log data: the case of IBM BlueGene/Q.
Kato Mivule, Benjamin Harvey, Crystal Cobb, Hoda El-Sayed:
A Review of CUDA, MapReduce, and Pthreads Parallel Computing Models.
Alexios Balatsoukas-Stimming, Mani Bastani Parizi, Andreas Peter Burg:
On Metric Sorting for Successive Cancellation List Decoding of Polar Codes.
Ming Xu, Yiman Du, Jianping Wu, Yang Zhou, Yunpeng Xiao:
Map Matching based on Conditional Random Fields and Route Preference Mining for Uncertain Trajectories.
Raviteja Vemulapalli, Vinay Praneeth Boda, Rama Chellappa:
MKL-RT: Multiple Kernel Learning for Ratio-trace Problems via Convex Optimization.
Azam Khalili, Wael Bazzi, Amir Rastegarnia:
Analysis of incremental augmented affine projection algorithm for distributed estimation of complex signals.
Miguel Ángel Bautista, Antonio Hernández-Vela, Sergio Escalera, Laura Igual, Oriol Pujol, Josep Moya, Verónica Violant, María Teresa Anguera:
A Gesture Recognition System for Detecting Behavioral Patterns of ADHD.
Thibault Godin, Ines Klimann, Matthieu Picantin:
On Torsion-Free Semigroups Generated by Invertible Reversible Mealy Automata.

Aakash Deshpande, Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz:
Fast detection of cycles in timed automata.
Michael Maire, Stella X. Yu, Pietro Perona:
Reconstructive Sparse Code Transfer for Contour Detection and Semantic Labeling.
Venkata N. Inukollu, Divya D. Keshamoni, Taeghyun Kang, Manikanta Inukollu:
Factors Influencing Quality of Mobile Apps: Role of Mobile App Development Life Cycle.
Alon Orlitsky, Narayana P. Santhanam:
Universal compression of Gaussian sources with unknown parameters.
Jayadeva, Suresh Chandra, Siddarth Sabharwal, Sanjit S. Batra:
Learning a hyperplane regressor by minimizing an exact bound on the VC dimension.
Dave Clites, Richard Orr, Jack Rieser, Michael Dellomo:
Providing Higher Throughput for a Single User with M-ary Orthogonal Walsh Codes.
Adrian Friebel, Johannes Neitsch, Tim Johann, Seddik Hammad, Jan G. Hengstler, Dirk Drasdo, Stefan Hoehme:
TiQuant: Software for tissue analysis, quantification and surface reconstruction.
Zhuwei Wang, Xiaodong Wang, Lihan Liu:
Stochastic Optimal Linear Control of Wireless Networked Control Systems with Delays and Packet Losses.
Hamzah Asyrani Sulaiman, Abdullah Bade, Mohd Harun Abdullah:
Efficient Distance Computation Algorithm between Nearly Intersected Objects Using Dynamic Pivot Point in Virtual Environment Application.
Marlos C. Machado, Sriram Srinivasan, Michael Bowling:
Domain-Independent Optimistic Initialization for Reinforcement Learning.

Derek Doran, Swapna S. Gokhale, Aldo Dagnino:
Accurate Local Estimation of Geo-Coordinates for Social Media Posts.
Alireza Dirafzoon, Edgar J. Lobaton:
Robust Topological Feature Extraction for Mapping of Environments using Bio-Inspired Sensor Networks.
Kiyeon Kim, Sang-Woon Jeon, Janghoon Yang, Dong Ku Kim:
The Feasibility of Interference Alignment for Reverse TDD Systems in MIMO Cellular Networks.
Carl Vondrick, Hamed Pirsiavash, Aude Oliva, Antonio Torralba:
Acquiring Visual Classifiers from Human Imagination.
Yilun Wang, Junjie Zheng, Sheng Zhang, Xujun Duan, Huafu Chen:
Randomized Structural Sparsity via Constrained Block Subsampling for Improved Sensitivity of Discriminative Voxel Identification.
Chayanika Sharma, Ritu Sibal:
Applications of different metaheuristic techniques for finding optimal tst order during integration testing of object oriented systems and their comparative study.
Weiyang Liu, Zhiding Yu, Lijia Lu, Yandong Wen, Hui Li, Yuexian Zou:
KCRC-LCD: Discriminative Kernel Collaborative Representation with Locality Constrained Dictionary for Visual Categorization.

Ibrahim Abdelaziz, Sherif M. Abdou, Hassanin Al-Barhamtoshy:
Large Vocabulary Arabic Online Handwriting Recognition System.
Biju Issac, Khairuddhin Ab Hamid, C. E. Tan:
Analysis of Demand Driven Ad-hoc Routing Protocols on Performance and Mobility.
(Withdrawn) Optimal Time Random Access to Grammar-Compressed Strings in Small Space.
Derek Groen, David Abou Chacra, Rupert W. Nash, Jirí Jaros, Miguel O. Bernabeu, Peter V. Coveney:
Weighted decomposition in high-performance lattice-Boltzmann simulations: are some lattice sites more equal than others?
Junhui Hou, Lap-Pui Chau, Nadia Magnenat-Thalmann, Ying He:
Human Motion Capture Data Tailored Transform Coding.
Jakub Konecný, Jie Liu, Peter Richtárik, Martin Takác:
mS2GD: Mini-Batch Semi-Stochastic Gradient Descent in the Proximal Setting.
Gesualdo Scutari, Francisco Facchinei, Lorenzo Lampariello, Peiran Song:
Distributed Methods for Constrained Nonconvex Multi-Agent Optimization-Part I: Theory.
Ugonna Aralu:
Influence of Information Support System on ICT Use by distance learners in University of Lagos Nigeria.
Pablo Dorta-González, María-Isabel Dorta-González, Dolores-Rosa Santos-Peñate, Rafael Suárez-Vega:
Research status and trends in Operations Research and Management Science (OR/MS) journals: A bibliometric analysis based on the Web of Science database 2001-2012.
Farnood Merrikh-Bayat, Xinjie Guo, H. A. Ommani, N. Do, Konstantin K. Likharev, Dmitri B. Strukov:
Redesigning Commercial Floating-Gate Memory for Analog Computing Applications.
Mickael Randour, Jean-François Raskin, Ocan Sankur:
Percentile Queries in Multi-Dimensional Markov Decision Processes.
Parisa A. Eliasi, Sundeep Rangan, Theodore S. Rappaport:
Low-Rank Spatial Channel Estimation for Millimeter Wave Cellular Systems.
Chayanika Sharma, Sangeeta Sabharwal, Ritu Sibal:
Applying Genetic Algorithm for Prioritization of Test Case Scenarios Derived from UML Diagrams.
Yannis Haralambous, Yassir Elidrissi, Philippe Lenca:
Arabic Language Text Classification Using Dependency Syntax-Based Feature Selection.
Kathrin Baker, Michael Bloodgood, Bonnie J. Dorr, Nathaniel Wesley Filardo, Lori S. Levin, Christine D. Piatko:
A Modality Lexicon and its use in Automatic Tagging.
Elisângela Silva Dias, Diane Castonguay, Humberto J. Longo, Walid Abdala Rfaei Jradi, Hugo A. D. do Nascimento:
Fast Parallel Algorithm for Enumerating All Chordless Cycles in Graphs.
William W. Hager, James T. Hungerford, Ilya Safro:
A Multilevel Bilinear Programming Algorithm For the Vertex Separator Problem.
Filippo Del Tedesco, David Sands, Alejandro Russo:
Type-Directed Compilation for Fault-Tolerant Non-Interference.
Wajeb Gharibi, Gharib Gharibi:
Gharibi_FaceCard for Contacts and Easy Personal - Information Exchange.
Ashok Kumar Moses, Rajesh Sundaresan:
Relative $α$-Entropy Minimizers Subject to Linear Statistical Constraints.
Mohammad M. Mansour:
Pruned Bit-Reversal Permutations: Mathematical Characterization, Fast Algorithms and Architectures.
(Withdrawn) Settling the Randomized k-sever Conjecture on Some Special Metrics.

Chiraag Lala, Shay B. Cohen:
The Visualization of Change in Word Meaning over Time using Temporal Word Embeddings.
Dimitris Kallergis, Konstantinos Chimos, Stefanos Vizikidis, Theodoros Karvounidis, Christos Douligeris:
Pirus: A Web-based File Hosting Service with Object Oriented Logic in Cloud Computing.
Lampros Goussis, Ioannis E. Foukarakis, Dimitrios N. Kallergis:
Aspects and challenges of mashup creator design.
Dimitrios N. Kallergis, Ioannis E. Foukarakis, George N. Prezerakos:
Design issues for distributed mobile social networks.
Pratikkumar Desai, Amit P. Sheth, Pramod Anantharam:
Semantic Gateway as a Service architecture for IoT Interoperability.
Muhammad Haris Mughees, Hamed Haddadi, Pan Hui:
Privacy Leakage in Mobile Computing: Tools, Methods, and Characteristics.
Zhenwen Dai, Andreas C. Damianou, James Hensman, Neil D. Lawrence:
Gaussian Process Models with Parallelization and GPU acceleration.
Danesh Tarapore, Jean-Baptiste Mouret:
Evolvability signatures of generative encodings: beyond standard performance benchmarks.
Amin Emad, Olgica Milenkovic:
Code Construction and Decoding Algorithms for Semi-Quantitative Group Testing with Nonuniform Thresholds.

Zhao Wang, Ming Xiao, Mikael Skoglund, H. Vincent Poor:
Secrecy Degrees of Freedom of Wireless X Networks Using Artificial Noise Alignment.
Holger Stengel, Jan Treibig, Georg Hager, Gerhard Wellein:
Quantifying performance bottlenecks of stencil computations using the Execution-Cache-Memory model.
Binbin Dai, Wei Yu:
Sparse Beamforming and User-Centric Clustering for Downlink Cloud Radio Access Network.
Shuyang Jiang, Yuantao Gu:
Block-Sparsity-Induced Adaptive Filter for Multi-Clustering System Identification.
David C. Del Rey Fernández, David W. Zingg:
Generalized Summation-by-Parts Operators for the Second Derivative with Variable Coefficients.
Juha Kontinen, Antti Kuusisto, Jonni Virtema:
Decidable Fragments of Logics Based on Team Semantics.
Jinming Wen, Xiao-Wen Chang:
Success probability of the Babai estimators for box-constrained integer linear models.
Jun Fang, Yanning Shen, Fuwei Li, Hongbin Li:
Prior Support Knowledge-Aided Sparse Bayesian Learning with Partly Erroneous Support Information.
Radu Iosif, Adam Rogalewicz, Tomás Vojnar:
Abstraction Refinement for Trace Inclusion of Data Automata.

Georgios Pitsilis, Wei Wang:
Harnessing the power of Social Bookmarking for improving tag-based Recommendations.
Yang Yang, Gesualdo Scutari, Daniel Pérez Palomar, Marius Pesavento:
A Parallel Stochastic Approximation Method for Nonconvex Multi-Agent Optimization Problems.

Ali Mesbah, Stefan Streif:
Stability for Receding-horizon Stochastic Model Predictive Control with Chance Constraints.
Mehdi Ashraphijuo, Vaneet Aggarwal, Xiaodong Wang:
On the Capacity Regions of Two-Way Diamond Channels.
Cristina David, Daniel Kroening, Matt Lewis:
Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs.
Cristina David, Daniel Kroening, Matt Lewis:
Unrestricted Termination and Non-Termination Arguments for Bit-Vector Programs.
Muhammad Safdar, Ming Ronnier Luo, Xiaoyu Liu:
Comparing CSI and PCA in Amalgamation with JPEG for Spectral Image Compression.
Diego Didona, Paolo Romano:
On Bootstrapping Machine Learning Performance Predictors via Analytical Models.
Guru Guruganesh, Laura Sanità, Chaitanya Swamy:
Improved Region-Growing and Combinatorial Algorithms for $k$-Route Cut Problems.
Tang Liu, Daniela Tuninetti, Syed Ali Jafar:
The DoF of the Asymmetric MIMO Interference Channel with Square Direct Link Channel Matrices.
Jairo Alonso Giraldo, Alvaro A. Cárdenas, Nicanor Quijano:
Attenuating the Impact of Integrity Attacks on Real-Time Pricing in Smart Grids.
Santiago Segarra, Alejandro Ribeiro:
Stability and Continuity of Centrality Measures in Weighted Graphs.
Wafa Elmannai, Abdul Razaque, Khaled M. Elleithy:
Simulation based Study of TCP Variants in Hybrid Network.
Abeer Alabass, Khaled M. Elleithy, Abdul Razaque:
Dynamic Cluster Head Node Election (DCHNE) Model over Wireless Sensor Networks (WSNs).
Khaled M. Elleithy, Abdul Razaque:
Fostering of innovative usability testing to develop mobile application for mobile collaborative learning (MCL).
Prateek Jain, Ambuj Tewari, Purushottam Kar:
On Iterative Hard Thresholding Methods for High-dimensional M-Estimation.
Christian Borgs, Jennifer T. Chayes, Adrian Marple, Shang-Hua Teng:
Fixed-Points of Social Choice: An Axiomatic Approach to Network Communities.



Meryem Benammar, Pablo Piantanida, Shlomo Shamai:
On the Compound Broadcast Channel: Multiple Description Coding and Interference Decoding.
Gregory Z. Gutin, Mark Jones, Magnus Wahlström:
Structural Parameterizations of the Mixed Chinese Postman Problem.
(Withdrawn) Universal laws and absolute lower bounds of feedback systems: entropy rate never decreases, generalized Bode integral, Gaussianity-whiteness measure, Gaussianing-whitening control, and beyond.
Alexander Kartzow:
The field of the Reals and the Random Graph are not Finite-Word Ordinal-Automatic.
Michal Cáp, Peter Novák, Alexander Kleiner:
Finding Near-optimal Solutions in Multi-robot Path Planning.
Kijung Shin, U. Kang:
Distributed Methods for High-dimensional and Large-scale Tensor Factorization.

Sudarshan Mukherjee, Saif Khan Mohammed:
Energy-Spectral Efficiency Trade-off for a Massive SU-MIMO System with Transceiver Power Consumption.
Moritz Kreutzer, Georg Hager, Gerhard Wellein, Andreas Pieper, Andreas Alvermann, Holger Fehske:
Performance Engineering of the Kernel Polynomial Method on Large-Scale CPU-GPU Systems.
Hui Liu, Zhiyong Chen, Xiaohua Tian, Xinbing Wang, Meixia Tao:
On Content-centric Wireless Delivery Networks.
Lorenzo Livi, Guido Del Vescovo, Antonello Rizzi, Fabio Massimo Frattale Mascioli:
Building pattern recognition applications with the SPARE library.
Parthapratim De:
Computationally -Efficient Algorithms for Multiuser Detection in Short Code Wideband CDMA (TDD) Systems.
Francesca Arrigo, Michele Benzi:
Updating and downdating techniques for optimizing network communicability.
(Withdrawn) Full Duplex Networking: Mission Impossible?

Wenqian Shen, Linglong Dai, Zhen Gao, Zhaocheng Wang:
Spatially correlated channel estimation based on block iterative support detection for large-scale MIMO.
Silas L. Fong:
Classes of Delay-Independent Multimessage Multicast Networks under the Generalized Model.


Claudio Cusano, Paolo Napoletano, Raimondo Schettini:
Remote sensing image classification exploiting multiple kernel learning.
Hubie Chen:
Proof Complexity Modulo the Polynomial Hierarchy: Understanding Alternation as a Source of Hardness.
Amin Emad, Olgica Milenkovic:
Poisson Group Testing: A Probabilistic Model for Boolean Compressed Sensing.
María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta:
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games.
Dehua Cheng, Yu Cheng, Yan Liu, Richard Peng, Shang-Hua Teng:
Scalable Parallel Factorizations of SDD Matrices and Efficient Sampling for Gaussian Graphical Models.
Panagiotis G. Tsalaportas, Vasilios M. Kapinas, George K. Karagiannidis:
Solar Lab Notebook (SLN): An Ultra-Portable Web-Based System for Heliophysics and High-Security Labs.
Michael Mpasios, Dimitris Kallergis, Konstantinos Chimos, Theodoros Karvounidis, Christos Douligeris:
Software in e-Learning Architecture, Processes and Management.
Cezary Kaliszyk, Lionel Mamane, Josef Urban:
Machine Learning of Coq Proof Guidance: First Experiments.
Cezary Kaliszyk, Josef Urban, Jirí Vyskocil:
Certified Connection Tableaux Proofs for HOL Light and TPTP.

Michael Bloodgood, Chris Callison-Burch:
Using Mechanical Turk to Build Machine Translation Evaluation Sets.
Shihao Yan, Ido Nevat, Gareth W. Peters, Robert A. Malaney:
Location Verification Systems Under Spatially Correlated Shadowing.
Jaspreet Singh, Sudhir Ramakrishna:
On the feasibility of beamforming in millimeter wave communication systems with multiple antenna arrays.
Rodrigo C. de Lamare, Raimundo Sampaio Neto:
Blind Adaptive MIMO Receivers for CDMA Systems with Space-Time Block-Codes and Low-Cost Algorithms.
Ashok Kumar Moses, Rajesh Sundaresan:
Minimization Problems Based on a Parametric Family of Relative Entropies II: Reverse Projection.
Matthias Rolf, Minoru Asada:
Where do goals come from? A Generic Approach to Autonomous Goal-System Development.
Tareq M. Malas, Georg Hager, Hatem Ltaief, David E. Keyes:
Towards energy efficiency and maximum computational intensity for stencil algorithms using wavefront diamond temporal blocking.
Jason Crampton, Naomi Farley, Gregory Z. Gutin, Mark Jones, Bertram Poettering:
Cryptographic Enforcement of Information Flow Policies without Public Information.
Roberto Sebastiani, Patrick Trentin:
Pushing the envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions.
Alberto G. Perotti, Branislav M. Popovic:
Non-Orthogonal Multiple Access for Degraded Broadcast Channels: RA-CEMA.
Arman Ahmadzadeh, Adam Noel, Robert Schober:
Analysis and Design of Multi-Hop Diffusion-Based Molecular Communication Networks.
Michael Hemmer, Michal Kleinbort, Dan Halperin:
Optimal randomized incremental construction for guaranteed logarithmic planar point location.
Paolo Napoletano, Giuseppe Boccignone, Francesco Tisato:
Attentive monitoring of multiple video streams driven by a Bayesian foraging strategy.
Amihood Amir, Oren Kapah, Ely Porat, Amir Rothschild:
Polynomials: a new tool for length reduction in binary discrete convolutions.
Thanos G. Stavropoulos, Stelios Andreadis, Nick Bassiliades, Dimitris Vrakas, Ioannis P. Vlahavas:
The Tomaco Hybrid Matching Framework for SAWSDL Semantic Web Services.
Marcel Caria, Tamal Das, Admela Jukan, Marco Hoffmann:
Divide and Conquer: Partitioning OSPF networks with SDN.
Tamás Varga, András Király, János Abonyi:
Improvement of PSO algorithm by memory based gradient search - application in inventory management.
Malcolm A. Egan, Yansha Deng, Maged Elkashlan, Trung Quang Duong:
Variance-Constrained Capacity of the Molecular Timing Channel with Synchronization Error.
Malcolm A. Egan, Adam Noel, Yansha Deng, Maged Elkashlan, Trung Quang Duong:
The Unreasonable Effectiveness of Blood Pressure Measurement: Molecular Communication in Biological Systems.
Sahar Vahdati, Christoph Lange, Sören Auer:
OpenCourseWare Observatory - Does the Quality of OpenCourseWare Live up to its Promise?
Rajesh Sharma, Deepak Subramanian, Satish Narayana Srirama:
DAPriv: Decentralized architecture for preserving the privacy of medical data.
WeiQiang Xu, Yushu Zhang, Qingjiang Shi, Xiaodong Wang:
Dynamic Optimization For Heterogeneous Powered Wireless Multimedia Sensor Networks With Correlated Sources and Network Coding.
Maksym A. Girnyk, Mikko Vehkaperä, Lars K. Rasmussen:
Asymptotic Performance Analysis of a K-Hop Amplify-and-Forward Relay MIMO Channel.
M. S. S. Khan:
A Computer Virus Propagation Model Using Delay Differential Equations With Probabilistic Contagion And Immunity.
Debdipta Goswami, Heiko Hamann:
Investigation of A Collective Decision Making System of Different Neighbourhood-Size Based on Hyper-Geometric Distribution.
Daniel Kroening, Matt Lewis, Georg Weissenbacher:
Proving Safety with Trace Automata and Bounded Model Checking.
Giuseppa Alfano, Carla-Fabiana Chiasserini, Alessandro Nordio, Siyuan Zhou:
Closed-form Output Statistics of MIMO Block-Fading Channels.
Lutz Bornmann, Werner Marx:
Methods for the generation of normalized citation impact scores in bibliometrics: Which method best reflects the judgements of experts?
Ahmad Josi, Leon Andretti Abdillah, Suryayusra:
Penerapan teknik web scraping pada mesin pencari artikel ilmiah.
Jesus Robledo, Jonathan Leloux, Eduardo Lorenzo:
3D simulation of complex shading affecting PV systems taking benefit from the power of graphics cards developed for the video game industry.
Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Lightweight Verification of Markov Decision Processes with Rewards.
Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli:
Testing Security Policies for Distributed Systems: Vehicular Networks as a Case Study.
Andrey Bogomolov, Bruno Lepri, Michela Ferron, Fabio Pianesi, Alex Pentland:
Daily Stress Recognition from Mobile Phone Data, Weather Conditions and Individual Traits.
Aaron B. Adcock, Erik D. Demaine, Martin L. Demaine, Michael P. O'Brien, Felix Reidl, Fernando Sánchez Villaamil, Blair D. Sullivan:
Zig-Zag Numberlink is NP-Complete.

Ran Xu, Gang Chen, Caiming Xiong, Wei Chen, Jason J. Corso:
Compositional Structure Learning for Action Understanding.
Holger Boche, Volker Pohl:
System Approximations and Generalized Measurements in Modern Sampling Theory.
Michael Bloodgood, Chris Callison-Burch:
Bucking the Trend: Large-Scale Cost-Focused Active Learning for Statistical Machine Translation.
Mugen Peng, Shi Yan, H. Vincent Poor:
Ergodic Capacity Analysis of Remote Radio Head Associations in Cloud Radio Access Networks.
Raad Ahmed Hadi, Ghazali Sulong, Loay Edwar George:
Vehicle Detection and Tracking Techniques: A Concise Review.
Bhavya Kailkhura, Swastik Brahma, Berkan Dulek, Yunghsiang S. Han, Pramod K. Varshney:
Distributed Detection in Tree Networks: Byzantines and Mitigation Techniques.

Huaizu Jiang, Zejian Yuan, Ming-Ming Cheng, Yihong Gong, Nanning Zheng, Jingdong Wang:
Salient Object Detection: A Discriminative Regional Feature Integration Approach.
Qian Gao, Chen Gong, Rui Wang, Zhengyuan Xu, Yingbo Hua:
Constellation Design for Multi-color Visible Light Communications.
Maximilian Ernestus, Stephan Friedrichs, Michael Hemmer, Jan Kokemüller, Alexander Kröller, Mahdi Moeini, Christiane Schmidt:
Algorithms for Art Gallery Illumination.
(Withdrawn) An Application of Fixed-point Theory to Probabilistic Social Choice.
Michael Luckeneder, Adam Barker:
Uncovering the Perfect Place: Optimising Workflow Engine Deployment in the Cloud.
Daniel Aubram:
Optimization-based smoothing algorithm for triangle meshes over arbitrarily shaped domains.
Henning Schnoor:
The Relative Succinctness and Expressiveness of Modal Logics Can Be Arbitrarily Complex.
Jingyuan Zhang, Xiaoxiao Shi, Xiangnan Kong, Hong-Han Shuai, Philip S. Yu:
Discovering Organizational Correlations from Twitter.
Karthik Upadhya, Chandra Sekhar Seelamantula, K. V. S. Hari:
A Risk Minimization Framework for Channel Estimation in OFDM Systems.
Anoop Thomas, R. Kavitha, A. Chandramouli, B. Sundar Rajan:
Optimal Index Coding with Min-Max Probability of Error over Fading Channels.
Daniel Kroening, Subodh Sharma, Björn Wachter:
AbPress: Flexing Partial-Order Reduction and Abstraction.
Ivana Micic, Zorana Jancic, Jelena Ignjatovic, Miroslav Ciric:
Determinization of fuzzy automata by means of the degrees of language inclusion.
Rupak Majumdar, Vinayak S. Prabhu:
Computing the Skorokhod Distance between Polygonal Traces (Full Paper).
Osman Günay, Cem Emre Akbas, A. Enis Çetin:
Cosine Similarity Measure According to a Convex Cost Function.
Iván Blanco-Chacón, Camilla Hollanti, Montserrat Alsina, Dionís Remón:
Fuchsian codes with arbitrarily high code rate.
Ronan Hamon, Pierre Borgnat, Patrick Flandrin, Céline Robardet:
Heuristic for solving cyclic bandwidth sum problem by following the structure of the graph.
Edoardo Serra, Francesca Spezzano, V. S. Subrahmanian:
ChoiceGAPs: Competitive Diffusion as a Massive Multi-Player Game in Social Networks.
Germán Ros, Jose M. Alvarez, Julio Guerrero:
Motion Estimation via Robust Decomposition with Constrained Rank.
Tien Van Do, Binh Thai Vu, Nam H. Do, Lóránt Farkas, Csaba Rotter, Tamás Tarjányi:
Building Block Components to Control a Data Rate in the Apache Hadoop Compute Platform.
Tarik Anouari, Abdelkrim Haqiq:
A QoE-Based Scheduling Algorithm for UGS Service Class in WiMAX Network.
Alessandro Perina, Nebojsa Jojic:
Capturing spatial interdependence in image features: the counting grid, an epitomic representation for bags of features.


Erika De Benedetti, Simona Ronchi Della Rocca:
A type assignment for lambda-calculus complete both for FPTIME and strong normalization.
Junhua Li, Chao Li, Andrzej Cichocki:
Canonical Polyadic Decomposition with Assistant Information for Brain Computer Interface.
Yves van Gennip, Prashant Athavale, Jérôme Gilles, Rustum Choksi:
A Regularization Approach to Blind Deblurring and Denoising of QR Barcodes.
Pavel Hron, Daniel Jost, Peter Bastian, Claudia Gallert, Josef Winter, Olaf Ippisch:
Application of reactive transport modelling to growth and transport of microorganisms in the capillary fringe.
Toni Ernvall, Thomas Westerbäck, Camilla Hollanti, Ragnar Freij:
Constructions and Properties of Linear Locally Repairable Codes.
Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Paulo Tabuada, Hadas Kress-Gazit:
Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control.


Nikolaos Fountoulakis, Tobias Friedrich, Danny Hermelin:
On the Average-case Complexity of Parameterized Clique.
Vladimir V. Bochkarev, Yulia S. Maslennikova:
Initialization of multilayer forecasting artifical neural networks.
Jingbo Shang, Tianqi Chen, Hang Li, Zhengdong Lu, Yong Yu:
A Parallel and Efficient Algorithm for Learning to Match.

Jiahao Chen, Alan Edelman:
Parallel Prefix Polymorphism Permits Parallelization, Presentation & Proof.
Mikaël A. Mousse, Eugène C. Ezin, Cina Motamed:
Foreground-Background Segmentation Based on Codebook and Edge Detector.
Tarik Anouari, Abdelkrim Haqiq:
QoE-Based Scheduling Algorithm in WiMAX Network using Manhattan Grid Mobility Model.

Yunan Gu, Walid Saad, Mehdi Bennis, Mérouane Debbah, Zhu Han:
Matching Theory for Future Wireless Networks: Fundamentals and Applications.

Erik D. Demaine, Jason S. Ku:
Filling a Hole in a Crease Pattern: Isometric Mapping from Prescribed Boundary Folding.
Ziming Zhang, Yuting Chen, Venkatesh Saligrama:
A Novel Visual Word Co-occurrence Model for Person Re-identification.

Mihai Cucuringu, M. Puck Rombach, Sang Hoon Lee, Mason A. Porter:
Detection of Core-Periphery Structure in Networks Using Spectral Methods and Geodesic Paths.
Lan Zhang, Kebin Liu, Xiang-Yang Li, Puchun Feng, Cihang Liu, Yunhao Liu:
Enable Portrait Privacy Protection in Photo Capturing and Sharing.
Lan Zhang, Taeho Jung, Cihang Liu, Xuan Ding, Xiang-Yang Li, Yunhao Liu:
Outsource Photo Sharing and Searching for Mobile Devices With Privacy Protection.
Lan Zhang, Taeho Jung, Puchun Feng, Xiang-Yang Li, Yunhao Liu:
Cloud-based Privacy Preserving Image Storage, Sharing and Search.
Dominik Bartuschat, Ulrich Rüde:
Parallel Multiphysics Simulations of Charged Particles in Microfluidic Flows.
M. Kavin, K. Keerthana, N. Sadagopan, Sangeetha. S, R. Vinothini:
Some Combinatorial Problems on Halin Graphs.
Germán Corrales Madueño, Cedomir Stefanovic, Petar Popovski:
Reengineering GSM/GPRS Towards a Dedicated Network for Massive Smart Metering.
Germán Corrales Madueño, Cedomir Stefanovic, Petar Popovski:
Efficient LTE Access with Collision Resolution for Massive M2M Communications.
Gianluca Stringhini, Olivier Thonnard:
That Ain't You: Detecting Spearphishing Emails Before They Are Sent.
Paul Swoboda, Alexander Shekhovtsov, Jörg Hendrik Kappes, Christoph Schnörr, Bogdan Savchynskyy:
Partial Optimality by Pruning for MAP-Inference with General Graphical Models.
Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer:
A Van Benthem Theorem for Modal Team Semantics.


Volker Turau:
Analyzing the Fault-Containment Time of Self-Stabilizing Algorithms - A Case Study for Graph Coloring.
Yong Lai, Dayou Liu, Minghao Yin:
Augmenting Ordered Binary Decision Diagrams with Conjunctive Decomposition.
Larry Koved, Kapil Singh, Hao Chen, Mike Just:
Proceedings of the Third Workshop on Mobile Security Technologies (MoST) 2014.
Hisham Elshaer, Federico Boccardi, Mischa Dohler, Ralf Irmer:
Load & Backhaul Aware Decoupled Downlink/Uplink Access in 5G Systems.
Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer:
Contract-Based General-Purpose GPU Programming.
Daniel Le Berre, Emmanuel Lonca, Pierre Marquis:
On the Complexity of Optimization Problems based on Compiled NNF Representations.
Olga Peled, Michael Fire, Lior Rokach, Yuval Elovici:
Matching Entities Across Online Social Networks.
Jurek Czyzowicz, Evangelos Kranakis, Danny Krizanc, Lata Narayanan, Jaroslav Opatrny:
Optimal online and offline algorithms for robot-assisted restoration of barrier coverage.
Sheng Huang, Ahmed M. Elgammal, Dan Yang:
On The Effect of Hyperedge Weights On Hypergraph Learning.
Martin Kroll, Simone Steinmetzer:
Automated Cryptanalysis of Bloom Filter Encryptions of Health Records.
Christoph Riedl, Richard Zanibbi, Marti A. Hearst, Siyu Zhu, Michael Menietti, Jason Crusan, Ivan Metelsky, Karim R. Lakhani:
Detecting Figures and Part Labels in Patents: Competition-Based Development of Image Processing Algorithms.
Michael Axtmann, Timo Bingmann, Peter Sanders, Christian Schulz:
Practical Massively Parallel Sorting - Basic Algorithmic Ideas.
Purushottam Kar, Harikrishna Narasimhan, Prateek Jain:
Online and Stochastic Gradient Methods for Non-decomposable Loss Functions.
Nidhi Sindhwani, Manjit Singh:
Transmit antenna subset selection in MIMO OFDM system using adaptive mutation Genetic algorithm.
Michael B. Cohen, Sam Elder, Cameron Musco, Christopher Musco, Madalina Persu:
Dimensionality Reduction for k-Means Clustering and Low Rank Approximation.
Jesús A. De Loera, Susan Margulies, Michael Pernpeintner, Eric Riedl, David Rolnick, Gwen Spencer, Despina Stasi, Jon Swenson:
Gröbner Bases and Nullstellensätze for Graph-Coloring Ideals.
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister:
Power Redistribution for Optimizing Performance in MPI Clusters.

Diederik Aerts, Sandro Sozzo, Tomas Veloz:
The Quantum Nature of Identity in Human Thought: Bose-Einstein Statistics for Conceptual Indistinguishability.
Alberto Dainotti, Karyn Benson, Alistair King, kc claffy, Eduard Glatz, Xenofontas A. Dimitropoulos, Philipp Richter, Alessandro Finamore, Alex C. Snoeren:
Lost in Space: Improving Inference of IPv4 Address Space Utilization.
Qian Gao, Chen Gong, Rui Wang, Zhengyuan Xu, Yingbo Hua:
From DC-Biased to DC-Informative Optical OFDM.
(Withdrawn) Random Almost-Popular Matchings.
Abdullah Masood, M. Asim Ali:
Applying Agile Requirements Engineering Approach for Re-engineering & Changes in existing Brownfield Adaptive Systems.
Laxmi Narayana M., Sunil Kumar Kopparapu:
Choice of Mel Filter Bank in Computing MFCC of a Resampled Speech.
Laxmi Narayana M., Sunil Kumar Kopparapu:
On the use of Stress information in Speech for Speaker Recognition.
Sunil Kumar Kopparapu, Lajish V. L.:
A Framework for On-Line Devanagari Handwritten Character Recognition.
Richard Kueng, Holger Rauhut, Ulrich Terstiege:
Low rank matrix recovery from rank one measurements.
Robert Margolies, Maria Gorlatova, John Sarik, Peter R. Kinget, Ioannis Kymissis, Gil Zussman:
Project-based Learning within a Large-Scale Interdisciplinary Research Effort.
Aleksandr Cariow, Galina Cariowa:
A Hardware-oriented Algorithm for Complex-valued Constant Matrix-vector Multiplication.
Hamed O. Ghaffari, P. M. Benson, K. Xia, R. P. Young:
Kibble-Zurek Mechanism in Microscopic Acoustic Cracking Noises.
Karan Mitra, Arkady B. Zaslavsky, Christer Åhlund:
QoE Modelling, Measurement and Prediction: A Review.
Gemma Morral, Pascal Bianchi, Gersende Fort:
Success and Failure of Adaptation-Diffusion Algorithms for Consensus in Multi-Agent Networks.
Vilém Vychodil:
Parameterizing the semantics of fuzzy attribute implications by systems of isotone Galois connections.
Christoph Becker, Ruzanna Chitchyan, Leticia Duboc, Steve Easterbrook, Martin Mahaux, Birgit Penzenstadler, Guillermo Rodríguez-Navas, Camille Salinesi, Norbert Seyff, Colin C. Venters, Coral Calero, Sedef Akinli Koçak, Stefanie Betz:
The Karlskrona manifesto for sustainability design.
Mariusz Bojarski, Anna Choromanska, Krzysztof Choromanski, Yann LeCun:
Differentially- and non-differentially-private random decision trees.
Apoorv Agarwal, Anna Choromanska, Krzysztof Choromanski:
Notes on using Determinantal Point Processes for Clustering with Applications to Text Clustering.
Edith Cohen, Daniel Delling, Thomas Pajor, Renato F. Werneck:
Timed Influence: Computation and Maximization.
Wasim Huleihel, Nir Weinberger, Neri Merhav:
Erasure/List Random Coding Error Exponents Are Not Universally Achievable.
Jean-Daniel Boissonnat, Ramsay Dyer, Arijit Ghosh, Steve Y. Oudot:
Only distances are required to reconstruct submanifolds.
Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira:
Proceedings 7th Interaction and Concurrency Experience, ICE 2014, Berlin, Germany, 6th June 2014. EPTCS 166, 2014 [contents]
Jingying Ma, Yuanshi Zheng, Bin Wu, Long Wang:
Optimal topology of multi-agent systems with two leaders: a zero-sum game perspective.
Qiang Huo, Kun Yang, Lingyang Song, Yonghui Li, Bingli Jiao:
Compressed Relaying for Two-Way Relay Networks with Correlated Sources.
Bijit Kumar Das, Mrityunjoy Chakraborty, Jerónimo Arenas-García:
Sparse Distributed Learning via Heterogeneous Diffusion Adaptive Networks.


Marek Chrobak, Mordecai J. Golin, Tak Wah Lam, Dorian Nogneng:
Scheduling with Gaps: New Models and Algorithms.
Harris V. Georgiou:
Estimating the intrinsic dimension in fMRI space via dataset fractal analysis - Counting the 'cpu cores' of the human brain.
Nevin Lianwen Zhang, Chen Fu, Tengfei Liu, Kin Man Poon, Peixian Chen, Bao Xin Chen, Yun Ling Zhang:
An Evidence-Based Approach to Patient Classification in Traditional Chinese Medicine based on Latent Tree Analysis.
Peng Bao, Huawei Shen, Xueqi Cheng:
Prediction of "Forwarding Whom" Behavior in Information Diffusion.

Martina Cardone, Daniela Tuninetti, Raymond Knopp:
The Approximate Optimality of Simple Schedules for Half-Duplex Multi-Relay Networks.
Leon Derczynski, Diana Maynard, Giuseppe Rizzo, Marieke van Erp, Genevieve Gorrell, Raphaël Troncy, Johann Petrak, Kalina Bontcheva:
Analysis of Named Entity Recognition and Linking for Tweets.


Daniel Castro, Paulo Félix, Jesús Presedo:
A method for context-based adaptive QRS clustering in real-time.
Félix Díaz-Hermida, Alberto Bugarín, David E. Losada:
The probatilistic Quantifier Fuzzification Mechanism FA: A theoretical analysis.
Benjamin Lucien Kaminski, Joost-Pieter Katoen:
Analyzing Expected Outcomes and Almost-Sure Termination of Probabilistic Programs is Hard.
Abdou Guermouche, Loris Marchal, Bertrand Simon, Frédéric Vivien:
Scheduling Trees of Malleable Tasks for Sparse Linear Algebra.
Abhishek Bhowmick, Ariel Gabizon, Thái Hoàng Lê, David Zuckerman:
Deterministic Extractors for Additive Sources.
Björn Gmeiner, Tobias Gradl, Francisco José Gaspar, Ulrich Rüde:
Optimization of the Multigrid-Convergence Rate on Semi-structured Meshes by Local Fourier Analysis.
Nikos Chondros, Stathis Maneas, Christos Patsonakis, Panos Diamantopoulos, Mema Roussopoulos:
Practical Asynchronous Interactive Consistency.
Zhigang Cao, Xujin Chen, Xiao-Dong Hu, Changjun Wang:
Pricing in Social Networks with Negative Externalities.
Bálint Antal, Bence Remenyik, András Hajdu:
An Unsupervised Ensemble-based Markov Random Field Approach to Microscope Cell Image Segmentation.
Katerina Smiljkovikj, Hisham Elshaer, Petar Popovski, Federico Boccardi, Mischa Dohler, Liljana Gavrilovska, Ralf Irmer:
Capacity Analysis of Decoupled Downlink and Uplink Access in 5G Heterogeneous Systems.
Yang Hu, Huadong Meng, Yimin Liu, Xiqin Wang:
High Range Resolution Profiling in Missing Data Case: A New Approach.
Alexander Herzog, Nicholas Rotella, Sean Mason, Felix Grimminger, Stefan Schaal, Ludovic Righetti:
Momentum Control with Hierarchical Inverse Dynamics on a Torque-Controlled Humanoid.
Chao-Kai Wen, Jun Zhang, Kai-Kit Wong, Jung-Chieh Chen, Chau Yuen:
On Sparse Vector Recovery Performance in Structurally Orthogonal Matrices via LASSO.

Peter Hegarty, Anders Martinsson, Edvin Wedin:
The Hegselmann-Krause dynamics on the circle converge.
Çagkan Yapar, Volker Pohl, Holger Boche:
Fast Compressive Phase Retrieval from Fourier Measurements.
Jianhua Mo, Robert W. Heath Jr.:
Capacity Analysis of One-Bit Quantized MIMO Systems with Transmitter Channel State Information.
Jayadeva, Sanjit S. Batra, Siddarth Sabharwal:
Feature Selection through Minimization of the VC dimension.
Nicholas Rhinehart, Jiaji Zhou, Martial Hebert, J. Andrew Bagnell:
Visual Chunking: A List Prediction Framework for Region-Based Object Detection.
Kiran Kumar Bhuvanagiri, Sunil Kumar Kopparapu:
Modified Mel Filter Bank to Compute MFCC of Subsampled Speech.
Varun Jampani, S. M. Ali Eslami, Daniel Tarlow, Pushmeet Kohli, John M. Winn:
Consensus Message Passing for Layered Graphical Models.
Neeraj Dhungel, Gustavo Carneiro, Andrew P. Bradley:
Deep Structured learning for mass segmentation from Mammograms.
Daniel Povey, Xiaohui Zhang, Sanjeev Khudanpur:
Parallel training of Deep Neural Networks with Natural Gradient and Parameter Averaging.
Ahmed Ewaisha, Cihan Tepedelenlioglu:
Throughput Optimization in Multi-Channel Cognitive Radios with Hard Deadline Constraints.
Håkon Normann, Cristian Prisacariu, Thomas T. Hildebrandt:
Concurrency Models with Causality and Events as Psi-calculi. 4-20
Sung-Shik T. Q. Jongmans, Farhad Arbab:
Toward Sequentializing Overparallelized Protocol Code. 38-44
Nicolas Ninin, Emmanuel Haucourt:
The Boolean Algebra of Cubical Areas as a Tensor Product in the Category of Semilattices with Zero. 60-66
Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari, Emilio Tuosto:
From Orchestration to Choreography through Contract Automata. 67-85
Huseyin Birkan Yilmaz, Chan-Byoung Chae, Burcu Tepekule, Ali Emre Pusane:
Arrival Modeling and Error Analysis for Molecular Communication via Diffusion with Drift.
Tianfei Zhou, Yao Lu, Feng Lv, Huijun Di, Qingjie Zhao, Jian Zhang:
Abrupt Motion Tracking via Nearest Neighbor Field Driven Stochastic Sampling.
Zhongkui Li, Zhisheng Duan:
Distributed Adaptive Consensus Protocols for Linear Multi-agent Systems with Directed Graphs and External Disturbances.
Namyoon Lee, François Baccelli, Robert W. Heath Jr.:
Spectral Efficiency Scaling Laws in Dense Random Wireless Networks with Multiple Receive Antennas.
Deeparnab Chakrabarty, Sanjeev Khanna, Shi Li:
On $(1, ε)$-Restricted Assignment Makespan Minimization.
Abhinav Kumar, Rahul Vaze, Sibi Raj B. Pillai, Aditya Gopalan:
Optimal WiFi Sensing via Dynamic Programming.
Oliver Friedmann, Thomas Dueholm Hansen, Uri Zwick:
Random-Facet and Random-Bland require subexponential time even for shortest paths.
Krzysztof Ciebiera, Piotr Godlewski, Piotr Sankowski, Piotr Wygocki:
Approximation Algorithms for Steiner Tree Problems Based on Universal Solution Frameworks.
Swaleha Saeed, M. Sarosh Umar, M. Athar Ali, Musheer Ahmad:
Fisher-Yates Chaotic Shuffling Based Image Encryption.
Benjamin Aminof, Aniello Murano, Sasha Rubin:
Satisfiability and Model Checking of CTL* with Graded Path Modalities.
Rourab Paul, Amlan Chakrabarti, Ranjan Ghosh:
Multi Core SSL/TLS Security Processor Architecture Prototype Design with automated Preferential Algorithm in FPGA.

Romain Hollanders, Balázs Gerencsér, Jean-Charles Delvenne, Raphaël M. Jungers:
Improved bound on the worst case complexity of Policy Iteration.


Martin Barczyk, Silvere Bonnabel, François Goulette:
Observability, Covariance and Uncertainty of ICP Scan Matching.

Praneeth Netrapalli, U. N. Niranjan, Sujay Sanghavi, Animashree Anandkumar, Prateek Jain:
Non-convex Robust PCA.
Ciro Donalek, S. George Djorgovski, Scott Davidoff, Alex Cioc, Anwell Wang, Giuseppe Longo, Jeffrey S. Norris, Jerry Zhang, Elizabeth Lawler, Stacy Yeh, Ashish Mahabal, Matthew J. Graham, Andrew J. Drake:
Immersive and Collaborative Data Visualization Using Virtual Reality Platforms.
Songtao Lu, Zhengdao Wang:
Achievable Rates and Training Optimization for Uplink Multiuser Massive MIMO Systems.
Fred Maurice Ngolè Mboula, Jean-Luc Starck, Samuel Ronayette, Koryo Okumura, Jérôme Amiaux:
Super-resolution method using sparse regularization for point-spread function recovery.
Sutanu Ghosh:
Performance evaluation with a Comparative analysis of mimo channel on The basis of doppler shift and other Probabilistic parameters in fading Environment.
Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov:
Model Checking Gene Regulatory Networks.
Antti Juvonen, Tuomo Sipola:
Anomaly Detection Framework Using Rule Extraction for Efficient Intrusion Detection.
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, Prateesh Goyal:
Faster Algorithms for Algebraic Path Properties in RSMs with Constant Treewidth.
Yasel Garcés Suárez, Esley Torres, Osvaldo Pereira, Roberto Rodríguez:
New similarity index based on entropy and group theory.
Hilmi Günes Kayacik, Mike Just, Lynne Baillie, David Aspinall, Nicholas Micallef:
Data Driven Authentication: On the Effectiveness of User Behaviour Modelling with Mobile Device Sensors.
Vincent Primault, Sonia Ben Mokhtar, Cédric Lauradoux, Lionel Brunie:
Differentially Private Location Privacy in Practice.
Vasant Tendulkar, William Enck:
An Application Package Configuration Approach to Mitigating Android SSL Vulnerabilities.
Yihang Song, Madhur Kukreti, Rahul Rawat, Urs Hengartner:
Two Novel Defenses against Motion-Based Keystroke Inference Attacks.
Xinyang Ge, Hayawardh Vijayakumar, Trent Jaeger:
Sprobes: Enforcing Kernel Code Integrity on the TrustZone Architecture.
Sebastian Neuner, Victor van der Veen, Martina Lindorfer, Markus Huber, Georg Merzdovnik, Martin Mulazzani, Edgar R. Weippl:
Enter Sandbox: Android Sandbox Comparison.
Michael Bierma, Eric Gustafson, Jeremy Erickson, David Fritz, Yung Ryn Choe:
Andlantis: Large-scale Android Dynamic Analysis.
Paul Ratazzi, Yousra Aafer, Amit Ahlawat, Hao Hao, Yifei Wang, Wenliang Du:
A Systematic Security Evaluation of Android's Multi-User Framework.
Daniel DeFreez, Bhargava Shastry, Hao Chen, Jean-Pierre Seifert:
A First Look at Firefox OS Security.
Xing Jin, Tongbo Luo, Derek G. Tsui, Wenliang Du:
Code Injection Attacks on HTML5-based Mobile Apps.

David M. Zajic, Michael Maxwell, David S. Doermann, Paul Rodrigues, Michael Bloodgood:
Correcting Errors in Digital Lexicographic Resources Using a Dictionary Manipulation Language.
Nguyen Quang-Hung, Nam Thoai, Nguyen Thanh Son, Duy-Khanh Le:
Energy-Aware Lease Scheduling in Virtualized Data Centers.
Yanshuai Cao, David J. Fleet:
Generalized Product of Experts for Automatic and Principled Fusion of Gaussian Process Predictions.
Azade Nazi, Zhuojie Zhou, Saravanan Thirumuruganathan, Nan Zhang, Gautam Das:
Walk, Not Wait: Faster Sampling Over Online Social Networks.
Oliver Schulte, Zhensong Qian, Arthur E. Kirkpatrick, Xiaoqian Yin, Yan Sun:
Fast Learning of Relational Dependency Networks.
Naoki Saito, Ernest Woei:
Tree simplification and the 'plateaux' phenomenon of graph Laplacian eigenvalues.
Christoph Benzmüller, Bruno Woltzenlogel Paleo:
Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, UITP 2014, Vienna, Austria, 17th July 2014. EPTCS 167, 2014 [contents]
Andy M. Connor, Keith A. Seffen, Geoffrey T. Parks, P. John Clarkson:
Efficient optimisation of structures using tabu search.
Xiaoting Zhao, Peter I. Frazier:
A Markov Decision Process Analysis of the Cold Start Problem in Bayesian Information Filtering.
Hossein Azari Soufiani, David C. Parkes, Lirong Xia:
A Statistical Decision-Theoretic Framework for Social Choice.
Jian Li, Mugen Peng, Aolin Cheng, Yuling Yu, Chonggang Wang:
Resource Allocation Optimization for Delay-Sensitive Traffic in Fronthaul Constrained Cloud Radio Access Networks.
Oliver Friedmann, Thomas Dueholm Hansen, Uri Zwick:
Errata for: A subexponential lower bound for the Random Facet algorithm for Parity Games.
Minh Dao, Nam H. Nguyen, Nasser M. Nasrabadi, Trac D. Tran:
Collaborative Multi-sensor Classification via Sparsity-based Representation.
Shibani Santurkar, Bipin Rajendran:
A neural circuit for navigation inspired by C. elegans Chemotaxis.
Shibani Santurkar, Bipin Rajendran:
Sub-threshold CMOS Spiking Neuron Circuit Design for Navigation Inspired by C. elegans Chemotaxis.
Akif Cem Heren, Huseyin Birkan Yilmaz, Chan-Byoung Chae, Tuna Tugcu:
Effect of Degradation in Molecular Communication: Impairment or Enhancement?
Alexander Mäcker, Manuel Malatyali, Friedhelm Meyer auf der Heide:
Online Top-k-Position Monitoring of Distributed Data Streams.
Mohammad Movahednasab, Mehdi Soleimanifar, Amin Gohari, Masoumeh Nasiri-Kenari, Urbashi Mitra:
Adaptive Molecule Transmission Rate for Diffusion Based Molecular Communication.
Vincenzo Musco, Martin Monperrus, Philippe Preux:
A Generative Model of Software Dependency Graphs to Better Understand Software Evolution.
Mikhail G. Mozerov:
Extended Dynamic Programming and Fast Multidimensional Search Algorithm for Energy Minization in Stereo and Motion.
Luis Sanabria-Russo, Francesco Gringoli, Jaume Barceló, Boris Bellalta:
Implementation and Experimental Evaluation of a Collision-Free MAC Protocol for WLANs.
Narine N. Davtyan, Arpine Khachatryan, Rafayel R. Kamalian:
A Description of the Subgraph Induced at a Labeling of a Graph by the Subset of Vertices with an Interval Spectrum.
Klaus Keimel:
On the equivalence of state transformer semantics and predicate transformer semantics.
Stepan Kochemazov, Alexander A. Semenov:
Using synchronous Boolean networks to model several phenomena of collective behavior.
Regina Motz, Edelweis Rohrer, Paula Severi:
Reasoning for ALCQ extended with a flexible meta-modelling hierarchy.
Jie Ding, Min-Yi Wang, Qiao Wang, Xinshan Zhu:
A novel wireless sensor network topology with fewer links.
Chia Wei Lim, Michael B. Wakin:
Technical Report: Compressive Temporal Higher Order Cyclostationary Statistics.
Chiranjib Patra, Samiran Chattopadhyay, Matangini Chattopadhyay, Parama Bhaumik:
Understanding the Mechanics of Some Localized Protocols by Theory of Complex Networks.
Adam R. Williamson, Tsung-Yi Chen, Richard D. Wesel:
Variable-length Convolutional Coding for Short Blocklengths with Decision Feedback.
Ruifeng Duan, Riku Jäntti, Mohammed S. Elmusrati:
Performance Analysis of Mean Value-Based Power Allocation with Primary User Interference in Spectrum Sharing Systems.

Aymen Sassi, Faiza Charfi, Lotfi Kamoun, Yassin Elhillali, Atika Rivenq:
OFDM Transmission Performance Evaluation in V2X Communication.
Wei Dai, Abhimanu Kumar, Jinliang Wei, Qirong Ho, Garth A. Gibson, Eric P. Xing:
High-Performance Distributed ML at Scale through Parameter Server Consistency Models.
Kendra Lesser, Meeko M. K. Oishi:
Approximate Verification of Partially Observable Discrete Time Stochastic Hybrid Systems.
Fedor Shmarov, Paolo Zuliani:
ProbReach: Verified Probabilistic Delta-Reachability for Stochastic Hybrid Systems.

Moritz Wiese, Janis Nötzel, Holger Boche:
The Arbitrarily Varying Wiretap Channel - deterministic and correlated random coding capacities under the strong secrecy criterion.
Reginald D. Smith:
Malware "Ecology" Viewed as Ecological Succession: Historical Trends and Future Prospects.
Lydia Manikonda, Yuheng Hu, Subbarao Kambhampati:
Analyzing User Activities, Demographics, Social Network Structure and User-Generated Content on Instagram.
V. Sriram Siddhardh Nadendla, Pramod K. Varshney:
Design of Binary Quantizers for Distributed Detection under Secrecy Constraints.
Kristian Ejlebjerg Jensen, Gerard Gorman:
Anisotropic Mesh Adaptation, the Method of Moving Asymptotes and the global p-norm Stress Constraint.
Ali Soltani Tehrani, Haiying Cao, Thomas Eriksson, Christian Fager:
Black-box Modeling and Compensation of Bursty Communication Signals in RF Power Amplifiers with Power-Dependent Parameters.
Ali Soltani Tehrani, Jessica Chani, Thomas Eriksson, Christian Fager:
Investigation of Parameter Adaptation in RF Power Amplifier Behavioral Models.
Paul Rodrigues, David M. Zajic, David S. Doermann, Michael Bloodgood, Peng Ye:
Detecting Structural Irregularity in Electronic Dictionaries Using Language Modeling.
Ahmet Iscen, Giorgos Tolias, Philippe Henri Gosselin, Hervé Jégou:
A comparison of dense region detectors for image search and fine-grained classification.
Azam S. Zavar Moosavi, Paul Tranquilli, Adrian Sandu:
Solving stochastic chemical kinetics by Metropolis Hastings sampling.

Kasim Sinan Yildirim, Ruggero Carli, Luca Schenato:
Proportional-Integral Clock Synchronization in Wireless Sensor Networks.
Timothy M. Chan, Fabrizio Frati, Carsten Gutwenger, Anna Lubiw, Petra Mutzel, Marcus Schaefer:
Drawing Partially Embedded and Simultaneously Planar Graphs.
Thang Luong, Ilya Sutskever, Quoc V. Le, Oriol Vinyals, Wojciech Zaremba:
Addressing the Rare Word Problem in Neural Machine Translation.
Bernhard Beckert, Sarah Grebing, Florian Böhl:
How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers. 4-13









El Houssein Chouaib Harik, François Guerin, Frédéric Guinand, Jean-François Brethé, Hervé Pelvillain:
A Decentralized Interactive Architecture for Aerial and Ground Mobile Robots Cooperation.
Burcu Tepekule, Ali Emre Pusane, Huseyin Birkan Yilmaz, Chan-Byoung Chae, Tuna Tugcu:
ISI Mitigation Techniques in Molecular Communication.


Marthe Bonamy, Lukasz Kowalik:
A 13k-kernel for Planar Feedback Vertex Set via Region Decomposition.
Rahil Baber, Demetres Christofides, Ntah Ahn Dang, Søren Riis, Emil R. Vaughan:
Graph Guessing Games and non-Shannon Information Inequalities.
Long Thai, Blesson Varghese, Adam Barker:
Executing Bag of Distributed Tasks on the Cloud: Investigating the Trade-offs Between Performance and Cost.
Long Thai, Adam Barker, Blesson Varghese, Ozgur Akgun, Ian Miguel:
Optimal Deployment of Geographically Distributed Workflow Engines on the Cloud.
Mohammad Ali Sedaghat, Ralf R. Müller, Farrokh Marvasti:
On Optimum Asymptotic Multiuser Efficiency of Randomly Spread CDMA.
Arkadii G. D'yachkov, Ilya Vorobyev, Nikita Polyanskii, Vladislav Yu. Shchukin:
Symmetric Disjunctive List-Decoding Codes.
Eric Blais, Clément L. Canonne, Igor Carboni Oliveira, Rocco A. Servedio, Li-Yang Tan:
Learning circuits with few negations.
Noam Presman, Ofer Shapira, Simon Litsyn, Tuvi Etzion, Alexander Vardy:
Binary Polarization Kernels from Code Decompositions.
Abhinav Ganesan, Javad Ebrahimi, Sidharth Jaggi, Venkatesh Saligrama:
Non-Adaptive Group Testing with Inhibitors.
Alberto Martín-Martín, Enrique Orduña-Malea, Juan Manuel Ayllon, Emilio Delgado López-Cózar:
Does Google Scholar contain all highly cited documents (1950-2013)?
Gilles Dowek, Ying Jiang:
Cut-elimination and the decidability of reachability in alternating pushdown systems.
Emma Strubell, Luke Vilnis, Andrew McCallum:
Training for Fast Sequential Prediction Using Dynamic Feature Selection.

Alexander P. Giles, Orestis Georgiou, Carl P. Dettmann:
Betweenness Centrality in Dense Random Geometric Networks.
Flavia Bonomo, Oliver Schaudt, Maya Jakobine Stein:
3-Colouring graphs without triangles or induced paths on seven vertices.
J. M. R. Parrondo, L. Dinis, E. García-Toraño, B. Sotillo:
Collective decision making and paradoxical games.
Emilie Morvant:
Domain adaptation of weighted majority votes via perturbed variation-based self-labeling.




Pierluigi Contucci, Cecilia Vernia:
Alienation in Italian cities. Social network fragmentation from collective data.
Rodrigo Echeveste, Claudius Gros:
Generating functionals for computational intelligence: the Fisher information as an objective function for self-limiting Hebbian learning rules.
Maria Pavlovskaia, Kewei Tu, Song-Chun Zhu:
Mapping Energy Landscapes of Non-Convex Learning Problems.
Babak Fotouhi, Naghmeh Momeni, Michael G. Rabbat:
Generalized Friendship Paradox: An Analytical Approach.
Roberto Santana, Ross B. McDonald, Helmut G. Katzgraber:
A probabilistic evolutionary optimization approach to compute quasiparticle braids.
Daniel L. Pimentel-Alarcón, Robert D. Nowak, Nigel Boston:
Deterministic Conditions for Subspace Identifiability from Incomplete Sampling.
Maria Chudnovsky, Louis Esperet, Laetitia Lemoine, Peter Maceli, Frédéric Maffray, Irena Penev:
Graphs with no induced five-vertex path or antipath.
Cedric Yen-Yu Lin, Han-Hsuan Lin:
Upper bounds on quantum query complexity inspired by the Elitzur-Vaidman bomb tester.


David S. Medina, Amik St.-Cyr, Timothy Warburton:
High-Order Finite-differences on multi-threaded architectures using OCCA.
Morgan R. Frank, Jake Ryland Williams, Lewis Mitchell, James P. Bagrow, Peter Sheridan Dodds, Christopher M. Danforth:
Constructing a taxonomy of fine-grained human movement and activity motifs through social media.

Kaushik P. Seshadreesan, Mario Berta, Mark M. Wilde:
Rényi squashed entanglement, discord, and relative entropy differences.
Tomonori Kouya:
Accelerated Multiple Precision Matrix Multiplication using Strassen's Algorithm and Winograd's Variant.
Ling Feng, Yanqing Hu, Baowen Li, Harry Eugene Stanley, Shlomo Havlin, Lidia A. Braunstein:
Competing for Attention in Social Media under Information Overload Conditions.
Andreas Weinmann, Laurent Demaret, Martin Storath:
Mumford-Shah and Potts Regularization for Manifold-Valued Data with Applications to DTI and Q-Ball Imaging.

Xiang-Yu Zhao, Bin Huang, Ming Tang, Hai-Feng Zhang, Duan-Bing Chen:
Identifying effective multiple spreaders by coloring complex networks.
Zhihua Niu, Zhixiong Chen, Xiaoni Du:
Linear complexity problems of level sequences of Euler quotients and their related binary sequences.
Victor Bapst, Amin Coja-Oghlan, Felicia Raßmann:
A positive temperature phase transition in random hypergraph 2-coloring.

Stephan Gouws, Yoshua Bengio, Greg Corrado:
BilBOWA: Fast Bilingual Distributed Representations without Word Alignments.
Anum Ali, Abdullatif Al-Rabah, Mudassir Masood, Tareq Y. Al-Naffouri:
Receiver-based Recovery of Clipped OFDM Signals for PAPR Reduction: A Bayesian Approach.
George L. Barnett, Simon W. Funke, Matthew D. Piggott:
Hybrid global-local optimisation algorithms for the layout design of tidal turbine arrays.
Zhang Li, Xiaojun Lin, Borja Peleato-Inarrea, Ilya Pollak:
Optimal Monitoring and Mitigation of Systemic Risk in Financial Networks.
Zhen Wang, Attila Szolnoki, Matjaz Perc:
Different perceptions of social dilemmas: Evolutionary multigames in structured populations.
Zijia Li, Josef Schicho, Hans-Peter Schröcker:
Spatial Straight Line Linkages by Factorization of Motion Polynomials.
Paolo Barucca, Jacopo Rocchi, Enzo Marinari, Giorgio Parisi, Federico Ricci-Tersenghi:
Cross correlations of the American baby names.

Zubair Al Azim, Xuanyao Fong, Thomas Ostler, Roy W. Chantrell, Kaushik Roy:
Laser Induced Magnetization Reversal for Detection in Optical Interconnects.
Enrique Mallada, Changhong Zhao, Steven H. Low:
Optimal load-side control for frequency regulation in smart grids.
Wuhua Hu, Wee Peng Tay, Athul Harilal, Gaoxi Xiao:
Network infection source identification under the SIRI model.
Piotr Knychala, Michal Banaszak:
Heuristic Monte Carlo Method Applied to Cooperative Motion Algorithm for Binary Lattice Fluid.
Michal Dziecielski, Krzysztof Lewandowski, Michal Banaszak:
Phase Diagram of Diblock Copolymer Melt in Dimension d=5.
Anurag Anshu, Vamsi Krishna Devabathini, Rahul Jain:
Near optimal bounds on quantum communication complexity of single-shot quantum state redistribution.
Zhan Shi, Hendra Ishwara Nurdin:
Effect of phase shifts on EPR entanglement generated on two propagating Gaussian fields via coherent feedback.


Peter Hertling, Christoph Spandl:
Computing a Solution of Feigenbaum's Functional Equation in Polynomial Time.



Roberto Cavoretto, Alessandra De Rossi, Hanli Qiao, Bernhard Quatember, Wolfgang Recheis, Martin Mayr:
Computing Topology Preservation of RBF Transformations for Landmark-Based Image Registration.
Taposh Banerjee, Venugopal V. Veeravalli:
Data-Efficient Minimax Quickest Change Detection with Composite Post-Change Distribution.
Pierre Baldi, Peter J. Sadowski, Daniel Whiteson:
Enhanced Higgs to $τ^+τ^-$ Searches with Deep Learning.
Qian-Ming Zhang, Xiao-Ke Xu, Yu-Xiao Zhu, Tao Zhou:
Measuring multiple evolution mechanisms of complex networks.
Lubos Brim, J. Niznan, David Safránek:
Compact Representation of Photosynthesis Dynamics by Rule-based Models (Full Version).
Jean Cardinal, Csaba D. Tóth, David R. Wood:
General Position Subsets and Independent Hyperplanes in d-Space.
Gevorg Poghosyan, Sanchit Matta, Achim Streit, Michal Bejger, Andrzej Królak:
Architecture, implementation and parallelization of the software to search for periodic gravitational wave signals.
Krzysztof Lewandowski, Piotr Knychala, Michal Banaszak:
Parallel-Tempering Monte-Carlo Simulation with Feedback-Optimized Algorithm Applied to a Coil-to-Globule Transition of a Lattice Homopolymer.
Pankaj Mehta, David J. Schwab:
An exact mapping between the Variational Renormalization Group and Deep Learning.
Juan Augusto Maya, Leonardo Rey Vega, Cecilia G. Galarza:
Distributed Detection of a Random Process over a Multiple Access Channel under Energy and Bandwidth Constraints.
Jakub Krajniak, Michal Banaszak:
Monte Carlo Study of Patchy Nanostructures Self-Assembled from a Single Multiblock Chain.
Philippe Dreesen, Mariya Ishteva, Johan Schoukens:
Decoupling Multivariate Polynomials Using First-Order Information.
Emanuele Frandi, Ricardo Ñanculef, Johan A. K. Suykens:
Complexity Issues and Randomization Strategies in Frank-Wolfe Algorithms for Machine Learning.
Anna Broniec:
Analysis of EEG signal by Flicker Noise Spectroscopy: Identification of right/left hand movement imagination.
Xinlei Yi, Wenlian Lu, Tianping Chen:
Pull-Based Distributed Event-triggered Consensus for Multi-agent Systems with Directed Topologies.
Joel Akeret, Lukas Gamper, Adam Amara, Alexandre Refregier:
HOPE: A Python Just-In-Time compiler for astrophysical computations.

Srikant Sukumar, Maruthi R. Akella:
Stabilizing Controllers for Multi-Input, Singular Control Gain Systems.
Finale Doshi-Velez, Byron C. Wallace, Ryan P. Adams:
Graph-Sparse LDA: A Topic Model with Structured Sparsity.
Stefan Streif, Matthias Karl, Ali Mesbah:
Stochastic Nonlinear Model Predictive Control with Efficient Sample Approximation of Chance Constraints.

Krzysztof Lewandowski, Michal Banaszak:
Intra-Globular Structures in Multiblock Copolymer Chains from a Monte Carlo Simulation.
Jin Hua Zhao, Yusupjan Habibulla, Hai-Jun Zhou:
Statistical Mechanics of the Minimum Dominating Set Problem.

Shahrouz Khalili, Osvaldo Simeone, Alexander M. Haimovich:
Cloud Radio-Multistatic Radar: Joint Optimization of Code Vector and Backhaul Quantization.
Richard G. Morris, Tony R. Martinez, Michael R. Smith:
A Hierarchical Multi-Output Nearest Neighbor Model for Multi-Output Dependence Learning.
Madeleine Udell, Karanveer Mohan, David Zeng, Jenny Hong, Steven Diamond, Stephen P. Boyd:
Convex Optimization in Julia.
Yoshiharu Maeno, Kenji Nishiguchi, Satoshi Morinaga, Hirokazu Matsushima:
Impact of shadow banks on financial contagion.
Yihui Ren, Mária Ercsey-Ravasz, Pu Wang, Marta C. González, Zoltán Toroczkai:
Predicting commuter flows in spatial networks using a radiation model based on temporal ranges.
Sébastien Combrexelle, Herwig Wendt, Nicolas Dobigeon, Jean-Yves Tourneret, Steve McLaughlin, Patrice Abry:
Bayesian estimation of the multifractality parameter for image texture using a Whittle approximation.
Pengfei Wang, Jianping Li:
On the relation between reliable computation time, float-point precision and the Lyapunov exponent in chaotic systems.
Paul M. Riechers, Dowman P. Varn, James P. Crutchfield:
Diffraction Patterns of Layered Close-packed Structures from Hidden Markov Models.
Ryutaroh Matsumoto:
Strongly Secure Quantum Ramp Secret Sharing Constructed from Algebraic Curves over Finite Fields.
Dan Peng, Xiao-Pu Han, Zong-Wen Wei, Bing-Hong Wang:
Punctuated equilibrium dynamics in human communications.
Bren Cavallo, Delaram Kahrobaei:
A Polynomial Time Algorithm For The Conjugacy Decision and Search Problems in Free Abelian-by-Infinite Cyclic Groups.

J. Rafael Sendra, David Sevilla, Carlos Villarino:
Missing sets in rational parametrizations of surfaces of revolution.
Saahil Ognawala, Justin Bayer:
Regularizing Recurrent Networks - On Injected Noise and Norm-based Methods.

Andrey Bogomolov, Bruno Lepri, Fabio Pianesi:
Generalized Compression Dictionary Distance as Universal Similarity Measure.
Valentina Bono, Wasifa Jamal, Saptarshi Das, Koushik Maharatna:
Artifact reduction in multichannel pervasive EEG using hybrid WPT-ICA and WPT-EMD signal decomposition techniques.
Fabio D'Andreagiovanni, Jonatan Krolikowski, Jonad Pulaj:
A Fast Hybrid Primal Heuristic for Multiband Robust Capacitated Network Design with Multiple Time Periods.

Corentin Briat, Ankit Gupta, Mustafa Khammash:
Generic low-copy integral feedback for robust in-vivo adaptation.
Vassilis Kekatos, Georgios B. Giannakis, Ross Baldick:
Online Energy Price Matrix Factorization for Power Grid Topology Tracking.
Benjamin Ivorra, M. RamosÁngel, Ngom Diène:
Be-CoDiS: An epidemiological model to predict the risk of human diseases spread worldwide. Application to the 2014 Ebola Virus Disease epidemic.
Aran Nayebi, Virginia Vassilevska Williams:
Quantum algorithms for shortest paths problems in structured instances.
Pengfei Wang:
Forward period analysis and the long term simulation of a periodic Hamiltonian system.
Sebastian Dorn, Torsten A. Enßlin, Maksim Greiner, Marco Selig, Vanessa Böhm:
Signal inference with unknown response: calibration uncertainty renormalized estimator.
Yossi Arjevani:
On Lower and Upper Bounds in Smooth Strongly Convex Optimization - A Unified Approach via Linear Iterative Methods.
Yong Kong:
Btrim: A fast, lightweight adapter and quality trimming program for next-generation sequencing technologies.
Afonso S. Bandeira, Dustin G. Mixon, Joel Moreira:
A conditional construction of restricted isometries.

Xiangyu Wang, Peichao Peng, David B. Dunson:
Median Selection Subset Aggregation for Parallel Inference.
Daniele Vilone, Francesca Giardini, Mario Paolucci:
Partner selection supports reputation-based cooperation in a Public Goods Game.


Pouyan Rafiei Fard, Moritz Grosse-Wentrup:
The Influence of Decoding Accuracy on Perceived Control: A Simulated BCI Study.
Mert Korkali, Jason G. Veneman, Brian F. Tivnan, Paul D. H. Hines:
Reducing Cascading Failure Risk by Increasing Infrastructure Network Interdependency.

Namgil Lee, Andrzej Cichocki:
Very Large-Scale Singular Value Decomposition Using Tensor Train Networks.
Nebojsa Bozanic, Thomas Kreuz:
SPIKY: A graphical user interface for monitoring spike train synchrony.
Chang Xu, Tongliang Liu, Dacheng Tao, Chao Xu:
Local Rademacher Complexity for Multi-label Learning.
Trapit Bansal, Chiranjib Bhattacharyya, Ravindran Kannan:
A provable SVD-based algorithm for learning topics in dominant admixture corpus.


Reza Eghbali, Jon Swenson, Maryam Fazel:
Exponentiated Subgradient Algorithm for Online Optimization under the Random Permutation Model.
Nicolas Gillis, Abhishek Kumar:
Exact and Heuristic Algorithms for Semi-Nonnegative Matrix Factorization.
Miroslav Andjelkovic, Bosiljka Tadic, Slobodan Maletic, Milan Rajkovic:
Hierarchical sequencing of online social graphs.
Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke:
Towards Personalized Cancer Therapy Using Delta-Reachability Analysis.
Vishesh Karwa, Michael J. Pelsmajer, Sonja Petrovic, Despina Stasi, Dane Wilburne:
Statistical models for cores decomposition of an undirected random graph.
Greg Ver Steeg, Aram Galstyan:
Maximally Informative Hierarchical Representations of High-Dimensional Data.
Junier B. Oliva, Willie Neiswanger, Barnabás Póczos, Eric P. Xing, Jeff G. Schneider:
Fast Function to Function Regression.
Niklas Wahlström, Thomas B. Schön, Marc Peter Deisenroth:
Learning deep dynamical models from image pixels.
Xian Wang, Shaopeng Ma:
A Short Image Series Based Scheme for Time Series Digital Image Correlation.
Wasifa Jamal, Saptarshi Das, Ioana-Anastasia Oprescu, Koushik Maharatna, Fabio Apicella, Federico Sicca:
Classification of Autism Spectrum Disorder Using Supervised Learning of Brain Connectivity Measures Extracted from Synchrostates.
Paul Scott, Sylvie Thiébaux:
Dynamic Optimal Power Flow in Microgrids using the Alternating Direction Method of Multipliers.
Liane Gabora, Stefan Leijnen:
The Relationship between Creativity, Imitation, and Cultural Diversity.
Luca Canzian, Kun Zhao, Gerard C. L. Wong, Mihaela van der Schaar:
A Dynamic Network Formation Model for Understanding Bacterial Self-Organization into Micro-Colonies.
Riccardo Fusaroli, Marcus Perlman, Alan Mislove, Alexandra Paxton, Teenie Matlock, Rick Dale:
Timescales of Massive Human Entrainment.
Laszlo Gyongyosi:
Distribution Statistics and Random Matrix Formalism of Multicarrier Continuous-Variable Quantum Key Distribution.
Julie Josse, Stefan Wager:
Stable Autoencoding: A Flexible Framework for Regularized Low-Rank Matrix Estimation.
Yitao Zhu, Daniel Dopico, Corina Sandu, Adrian Sandu:
Dynamic Response Optimization of Complex Multibody Systems in a Penalty Formulation using Adjoint Sensitivity.

Christina Lantzaki, Yannis Tzitzikas:
Tasks that Require, or can Benefit from, Matching Blank Nodes.
Yongjune Kim, Robert Mateescu, Seung-Hwan Song, Zvonimir Bandic, B. V. K. Vijaya Kumar:
Coding scheme for 3D vertical flash memory.
Vincent Larivière, Cassidy R. Sugimoto, Andrew Tsou, Yves Gingras:
Team size matters: Collaboration and scientific impact since 1900.
Florian Bernard, Johan Thunberg, Peter Gemmar, Frank Hertel, Andreas Husch, Jorge M. Gonçalves:
A Solution for Multi-Alignment by Transformation Synchronisation.
Michael Bloodgood, Peng Ye, Paul Rodrigues, David M. Zajic, David S. Doermann:
A random forest system combination approach for error detection in digital dictionaries.
Arkadii G. D'yachkov, Ilya Vorobyev, Nikita Polyanskii, Vladislav Yu. Shchukin:
Almost Cover-Free Codes.
Bálint Antal, András Hajdu:
An ensemble-based system for automatic screening of diabetic retinopathy.
Bálint Antal, András Hajdu:
An Ensemble-based System for Microaneurysm Detection and Diabetic Retinopathy Grading.
Dilek Küçük, Yusuf Arslan:
Semi-Automatic Construction of a Domain Ontology for Wind Energy Using Wikipedia Articles.
Tao Chen, Damian Borth, Trevor Darrell, Shih-Fu Chang:
DeepSentiBank: Visual Sentiment Concept Classification with Deep Convolutional Neural Networks.
Abhijit Chandra, Oliva Kar:
Data Driven Prognosis: A multi-physics approach verified via balloon burst experiment.
Aaron Defazio, Thore Graepel:
A Comparison of learning algorithms on the Arcade Learning Environment.
Shannon Fenn, Alexandre Mendes, David M. Budden:
Addressing the non-functional requirements of computer vision systems: A case study.
Akram Bin Sediq, Rainer Schoenen, Halim Yanikomeroglu, Gamini Senarath:
Optimized Distributed Inter-cell Interference Coordination (ICIC) Scheme using Projected Subgradient and Network Flow Optimization.
Xiao Lu, Dusit Niyato, Ping Wang, Dong In Kim, Zhu Han:
Wireless Charger Networking for Mobile Devices: Fundamentals, Standards, and Applications.
Zihan Tan, Liwei Zeng, Jian Li:
On the Inequalities of Projected Volumes and the Constructible Region.
Sahaaya Arul Mary, Jasmine Beulah Gnanadurai:
A Novel Predictive and Non-Predictive Cooperative Model for Routing in Ad Hoc Networks.
Meng Guo, Jana Tumova, Dimos V. Dimarogonas:
Communication-Free Multi-Agent Control under Local Temporal Tasks and Relative-Distance Constraints.
Alena Zemanová, Jan Zeman, Michal Sejnoha:
Finite element model based on refined plate theories for laminated glass units.
Marco Campani, Ruggero Vaglio:
A simple interpretation of the growth of scientific/technological research impact leading to hype-type evolution curves.
Mohammed Amin Tahraoui, Éric Duchêne, Hamamache Kheddouci, Mariusz Wozniak:
Labeled embedding of (n, n-2)-graphs in their complements.
Irina E. Bocharova, Albert Guillén i Fàbregas, Boris D. Kudryashov, Alfonso Martinez, Adrià Tauste Campo, Gonzalo Vazquez-Vilar:
Multi-Class Source-Channel Coding.
Pedro Jussieu de Rezende, Cid C. de Souza, Stephan Friedrichs, Michael Hemmer, Alexander Kröller, Davi C. Tozoni:
Engineering Art Galleries.

Jiwei Li, Xun Wang, Eduard H. Hovy:
What a Nasty day: Exploring Mood-Weather Relationship from Twitter.
Pranjal Awasthi, Avrim Blum, Or Sheffet, Aravindan Vijayaraghavan:
Learning Mixtures of Ranking Models.
Yauhen Yakimenka, Vitaly Skachek:
Refined Upper Bounds on Stopping Redundancy of Binary Linear Codes.
Anish Varghese, Bob Edwards, Gaurav Mitra, Alistair P. Rendell:
Programming the Adapteva Epiphany 64-core Network-on-chip Coprocessor.
Konrad Dabrowski, Dominique de Werra, Vadim V. Lozin, Victor Zamaraev:
Combinatorics and algorithms for augmenting graphs.
Nicolas Gensollen, Vincent Gauthier, Michel Marot, Monique Becker:
Coalition Formation Algorithm of Prosumers in a Smart Grid Environment.
Nabil Khoufi, Chafik Aloulou, Lamia Hadrich Belguith:
Supervised learning model for parsing Arabic language.
Shahid Mehraj Shah, Vinod Sharma:
Achieving Shannon Capacity Region as Secrecy Rate Region in a Multiple Access Wiretap Channel.
Seyed Mohammad Azimi-Abarghouyi, Masoumeh Nasiri-Kenari, Behrouz Maham:
Integer Forcing-and-Forward Transceiver Design for MIMO Multi-Pair Two-Way Relaying.
Reevana Balmahoon, A. J. Han Vinck, Ling Cheng:
Correlated Source Coded Sequences with Compromised Channel and Source Symbols using Shannon's Cipher System.
Paolo Pareti, Ewan Klein, Adam Barker:
A Semantic Web of Know-How: Linked Data for Community-Centric Tasks.
Gábor Braun, Sebastian Pokutta, Daniel Zink:
LP and SDP inapproximability of combinatorial problems.
Stefan Kratsch, Manuel Sorge:
On Kernelization and Approximation for the Vector Connectivity Problem.
Paul Madden, Eduardo G. Valente Jr.:
DDTS: A Practical System Testing Framework for Scientific Software.
Mohammad Ayub Latif, Muhammad Naveed, Faraz Zaidi:
Resilience of Social Networks Under Different Attack Strategies.
Tiago A. Schieber, Laura C. Carpi, Alejandro César Frery, Osvaldo A. Rosso, Panos M. Pardalos, Martín Gómez Ravetti:
A New Network Robustness Topology Measure based on Information Theory.
Seungwon Shin, Jalel Chergui, Damir Juric:
A Solver for Massively Parallel Direct Numerical Simulation of Three-Dimensional Multiphase Flows.

Shrawan Kumar, J. M. Landsberg:
Connections between conjectures of Alon-Tarsi, Hadamard-Howe, and integrals over the special unitary group.
Javier Ignacio Almarza, Santiago Figueira:
Normality in non-integer bases and polynomial time randomness.
Qiuyi Han, Kevin S. Xu, Edoardo M. Airoldi:
Consistent Estimation of Dynamic and Multi-layer Networks.

Kaj-Kolja Kleineberg, Marián Boguñá:
Ecology 2.0: Coexistence and Domination among Interacting Networks.
Rasul Tutunov, Haitham Bou-Ammar, Ali Jadbabaie, Eric Eaton:
On the Degree Distribution of Pólya Urn Graph Processes.
James K. Freericks, Branislav K. Nikolic, Ophir Frieder:
The Nonequilibrium Many-Body Problem as a paradigm for extreme data science.
James Schneeloch, Samuel H. Knarr, Gregory A. Howland, John C. Howell:
Demonstrating Continuous Variable EPR Steering in spite of Finite Experimental Capabilities using Fano Steering Bounds.
Clemens Huemer, Pablo Pérez-Lantero:
The intersection graph of the disks with diameters the sides of a convex $n$-gon.
Zhe He, Ming Li, Rui-Jie Xu, Bing-Hong Wang:
Network reconstruction by the stationary distribution of random walk process.
Martin Helmer:
A Direct Algorithm to Compute the Topological Euler Characteristic and Chern-Schwartz-MacPherson Class of Projective Complete Intersection Varieties.



Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
